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 GitHubMaintainers | 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