niklasso/supermini
A CMake super-project of MiniSat related tools and libraries for easier building
Developer Profile
niklasso
Discovered public repositories for niklasso in the GitHub catalog.
niklasso/tip
A model checker based on SAT solving and induction
niklasso/mcl
Simple circuit library for MiniSat
niklasso/minisatp
The Pseudo-Boolean Solver MiniSat+
niklasso/minisat-haskell-bindings
Haskell-Bindings to MiniSat
niklasso/minisat-c-bindings
C-Bindings to MiniSat
niklasso/minisat-examples
Collection of examples for the MiniSat API
niklasso/minisat
A minimalistic and high-performance SAT solver