minisat

Boolean satisfiability (SAT) problem solver

http://minisat.se

Current versions:

stable 2.2.0
bottle 🍾 high_sierra, sierra, el_capitan

Revision: 2

Depends on:

gcc 8.1.0 GNU compiler collection

JSON API for minisat

Formula code on GitHub

Fork me on GitHub