There are no reviews yet. Be the first to send feedback to the community and the maintainers!
microsat
microsatKeller-encode
code related to Keller's conjecturedrat-trim
The DRAT-trim proof checkerCnC
Cube-and-Conquer SAT solvermatrix-challenges
Challenging SAT benchmarks for matrix multiplicationsat-examples
Simple examples of using SAT solversmarch-SAT-solver
the march SAT solverCNP-SAT
SAT tools to compute unit-distance graphsclicolcom
Code for the Cliques, Colors, and Communication projectproof-demo
Demos of proof checkingpr2drat
A tool that converts PR proofs into DRAT proofsmchess
Formulas and proofs of mutilated chessboard problemsdrup-patch
A patch to allow DRUP proof logging in MiniSAT based solversallsat
A minisat hack that counts all solutionspreprocess-simple
Simple preprocessor for CNF formulastikz
Examples of tikz imagesminisat
MiniSAT 2.2 with DRUP support and OSX compilationChineseRemainderEncoding
Encoding tool for the Chinese remainder encoding to determine the existence of Hamiltonian cycles.complete-SBP
complete symmetry-breaking predicates for graph problemsbenchmarks
Some benchmark problems6hole-talk
slides about 6hole-problembridges
scripts to run solvers in parallel on PSCedge-matching
SAT encoding of edge-matching puzzlesLove Open Source and this site? Check out how you can help us