Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
sci-mathematics
/minisat
Small yet efficient SAT solver with reference paper
Screenshots
http://minisat.se/Main.html
https://github.com/stp/minisat/
minisat-2.2.1-r1
~amd64 ~x86
doc
View
Download
Browse
License: MIT
Overlay:
gentoo
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs
USE Flags
doc
Global:
Adds extra documentation (API, Javadoc, etc)