Niklas Sorensson

minisat. A minimalistic and high-performance SAT solver

minisatp. The Pseudo-Boolean Solver MiniSat+

minisat-examples. Collection of examples for the MiniSat API

tip. A model checker based on SAT solving and induction

minisat-haskell-bindings. Haskell-Bindings to MiniSat

minisat-c-bindings. C-Bindings to MiniSat

supermini. A CMake super-project of MiniSat related tools and libraries for easier building

mcl. Simple circuit library for MiniSat

minisat-webpage. Webpage for MiniSat