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 conjectureCnC
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 imagesaws-CnC
Cube-and-Conquer for Amazon Web Servicesminisat
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