niklasso/minisat
GitHub
Releases2
Frequency3 years 1 week
Last Release
Stars1.17K
A minimalistic and high-performance SAT solver
Collections containing this project
Showing collections based on your access.
This project is not in any collections you can view.