minisat (math/minisat) 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.0 License: MIT
GitHub
| Maintainers | No Maintainer |
| Categories | science math |
| Homepage | http://minisat.se/ |
| Platforms | darwin |
| Variants |
|
"minisat" depends on
lib (1)
build (1)
Ports that depend on "minisat"
No ports
Port Health:
Loading Port Health