Boolean satisfiability (SAT) problem solver

Current version

Revision: 1

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

Formula history

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