minisat

Boolean satisfiability (SAT) problem solver
http://minisat.se

Current versions
2.2.0

Revision: 1

minisat requires the following formula to be installed:
gcc 7.2.0 GNU compiler collection

Formula history

ilovezfs Use “squiggly” heredocs.
Misty De Meo minisat: use full_index patch
ilovezfs minisat: depend on gcc
ilovezfs minisat: revision for gcc
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
Show all revisions of this formula