forked from agurfinkel/minisat
-
Notifications
You must be signed in to change notification settings - Fork 0
A minimalistic and high-performance SAT solver
License
mElBalkini/minisat
About
A minimalistic and high-performance SAT solver
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published
Languages
- C++ 93.4%
- Makefile 4.5%
- CMake 1.3%
- C 0.8%