minisat (math/minisat) Updated: 2 weeks, 6 days ago Add to my watchlist
Minimalistic SAT solverMiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT.
Version: 2.2.1 License: MIT
GitHub
| Maintainers | No Maintainer |
| Categories | science math |
| Homepage | http://minisat.se/ |
| Platforms | darwin |
| Variants |
|
"minisat" depends on
lib (1)
build (2)
Ports that depend on "minisat"
No ports
Port Health:
Loading Port Health