picosat (math/picosat) Add to my watchlist
picosat is a SAT solverVersion: 965 License: MIT
GitHub
| Maintainers | No Maintainer |
| Categories | science math |
| Homepage | http://fmv.jku.at/picosat/ |
| Platforms | darwin |
| Variants |
|
"picosat" depends on
build (1)
Ports that depend on "picosat"
build (1)Port Health:
Loading Port Health