Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits
PrototypeCommon

tum-i4/macke

Modular And Compositional analysis with KLEE Engine

Owner
tum-i4 (organization)
Stars
Stars: 119
Forks
Forks: 19
Language
Python
License
Apache-2.0
Created
2015
Tier
Prototype (100 to 249 ★) What this tier means
View on GitHub

More repos by tum-i4

All 2 repos by tum-i4

Nearby in Python

All Python repos