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 graphsproof-demo
Demos of proof checkingclicolcom
Code for the Cliques, Colors, and Communication projectpr2drat
A tool that converts PR proofs into DRAT proofsmchess
Formulas and proofs of mutilated chessboard problemsallsat
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 compilationbenchmarks
Some benchmark problemsChineseRemainderEncoding
Encoding tool for the Chinese remainder encoding to determine the existence of Hamiltonian cycles.complete-SBP
complete symmetry-breaking predicates for graph problemsbridges
scripts to run solvers in parallel on PSCdrup-patch
A patch to allow DRUP proof logging in MiniSAT based solversedge-matching
SAT encoding of edge-matching puzzlesLove Open Source and this site? Check out how you can help us