minisat

Boolean satisfiability (SAT) problem solver

Current version:
2.2.0

Homepage: http://minisat.se

Formula history

Baptiste Fontaine minisat: use upstream patches
Viktor Szakats minisat: update url in comment
Nikolaus Wittenstein Add descriptions to all remaining homebrew packages
Adam Vandenberg minisat: fails with clang
Jack Nagel minisat: use patch DSL
Andrew Janke Change github /tarball/ URLs to /archive/ for formulae L-Z