Boolean satisfiability (SAT) problem solver

Current versions

Revision: 1

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

Recent 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

Formula code at GitHub