SBSAT SAT Solver
Primary LanguageCBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause
This is SBSAT, a tool used to solve Satisfiability problems. It is mostly defunct.