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 solverspreprocess-simple
Simple preprocessor for CNF formulastikz
Examples of tikz imagesaws-CnC
Cube-and-Conquer for Amazon Web Servicesminisat
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