minisat

Boolean satisfiability (SAT) problem solver

Current version:
2.2.0

Revision: 1

Homepage:http://minisat.se

Dependencies

minisat requires the following formula to be installed:

Formula history

Misty De Meominisat: use full_index patch
ilovezfsminisat: depend on gcc
ilovezfsminisat: revision for gcc
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