v 2.7b
A state-based Satisfiability solver.
SBSAT is a software package used primarily for solving instances of a generalization of the well-known Satisfiability problem.
http://gauss.ececs.uc.edu/franco_files/sbsat.html
To install sbsat, paste this into the macOS Terminal after installing MacPorts
sudo port install sbsat
| Installations | 0 |
| Requested Installations | 0 |