minisat

Boolean satisfiability (SAT) problem solver

Current version:
2.2.0

Homepage:http://minisat.se

Formula history

Baptiste Fontaineminisat: use upstream patches
Viktor Szakatsminisat: update url in comment
Nikolaus WittensteinAdd descriptions to all remaining homebrew packages
Adam Vandenbergminisat: fails with clang
Jack Nagelminisat: use patch DSL
Andrew JankeChange github /tarball/ URLs to /archive/ for formulae L-Z