- Authors: Niklas Eén, Niklas Sörensson
- Homepage: http://minisat.se/
- License: https://github.com/niklasso/minisat/blob/master/LICENSE
The MiniSat solver is the most convenient solver to use as it does not require the installation of additional dependencies. Its license is more permissive than others and it is therefore a sensible default for Sentient to use.