sbsat (science/sbsat) Add to my watchlist
A state-based Satisfiability solver.SBSAT is a software package used primarily for solving instances of a generalization of the well-known Satisfiability problem.
Version: 2.7b License: Permissive
GitHub
| Maintainers | nerdling |
| Categories | science math |
| Homepage | http://gauss.ececs.uc.edu/franco_files/sbsat.html |
| Platforms | freebsd darwin |
| Variants |
|
"sbsat" depends on
build (2)
Ports that depend on "sbsat"
No ports
Port Health:
Loading Port Health
Installations (30 days)
0
Requested Installations (30 days)
0
Livecheck error
Error: cannot check if sbsat was updated (Could not resolve host: gauss.ececs.uc.edu)
last updated: 22 hours ago