This is your work, valued

Niklas Sorensson

Elite
@niklasso

minisat. A minimalistic and high-performance SAT solver

1.2k

minisatp. The Pseudo-Boolean Solver MiniSat+

29

minisat-examples. Collection of examples for the MiniSat API

16

tip. A model checker based on SAT solving and induction

15

minisat-haskell-bindings. Haskell-Bindings to MiniSat

14

minisat-c-bindings. C-Bindings to MiniSat

8

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

6

mcl. Simple circuit library for MiniSat

6

minisat-webpage. Webpage for MiniSat

4