Pinned Repositories
.github
candy-kingdom
A friendly branch of Glucose 3 (taken from http://www.labri.fr/perso/lsimon/glucose/)
cnf-utils
Dimacs CNF utilities
IncrementalMonkey
A random testing tool for IPASIR SAT solvers
JamSAT
A fast, clean IPASIR SAT solver
NiceMake
A collection of commonly useful CMake functions for C and C++ projects
PyCSCL
A lightweight CNF SAT constraint encoder library
ipasir2-cpp
C++ Bindings for IPASIR 2
cnfkit
gatekit
Generic algorithms and data structures related to gate constraints in SAT CNF problems
fkutzner's Repositories
fkutzner/JamSAT
A fast, clean IPASIR SAT solver
fkutzner/PyCSCL
A lightweight CNF SAT constraint encoder library
fkutzner/NiceMake
A collection of commonly useful CMake functions for C and C++ projects
fkutzner/IncrementalMonkey
A random testing tool for IPASIR SAT solvers
fkutzner/.github
fkutzner/candy-kingdom
A friendly branch of Glucose 3 (taken from http://www.labri.fr/perso/lsimon/glucose/)
fkutzner/cnf-utils
Dimacs CNF utilities
fkutzner/cryptominisat
An advanced SAT solver
fkutzner/drat-trim
The DRAT-trim proof checker
fkutzner/ipasir
fkutzner/kissat
fkutzner/lingeling-cmake
Lingeling SAT Solver fork with CMake build
fkutzner/minisat
A minimalistic and high-performance SAT solver
fkutzner/state_ptr
A C++ pointer type with storage space for information filling.
fkutzner/stp
Simple Theorem Prover.