Pinned Repositories
clicolcom
Code for the Cliques, Colors, and Communication project
CnC
Cube-and-Conquer SAT solver
CNP-SAT
SAT tools to compute unit-distance graphs
drat-trim
The DRAT-trim proof checker
Keller-encode
code related to Keller's conjecture
march-SAT-solver
the march SAT solver
matrix-challenges
Challenging SAT benchmarks for matrix multiplication
microsat
microsat
proof-demo
Demos of proof checking
sat-examples
Simple examples of using SAT solvers
marijnheule's Repositories
marijnheule/microsat
microsat
marijnheule/Keller-encode
code related to Keller's conjecture
marijnheule/drat-trim
The DRAT-trim proof checker
marijnheule/CnC
Cube-and-Conquer SAT solver
marijnheule/matrix-challenges
Challenging SAT benchmarks for matrix multiplication
marijnheule/CNP-SAT
SAT tools to compute unit-distance graphs
marijnheule/sat-examples
Simple examples of using SAT solvers
marijnheule/clicolcom
Code for the Cliques, Colors, and Communication project
marijnheule/proof-demo
Demos of proof checking
marijnheule/benchmarks
Some benchmark problems
marijnheule/bridges
scripts to run solvers in parallel on PSC
marijnheule/ChineseRemainderEncoding
Encoding tool for the Chinese remainder encoding to determine the existence of Hamiltonian cycles.
marijnheule/complete-SBP
complete symmetry-breaking predicates for graph problems
marijnheule/edge-matching
SAT encoding of edge-matching puzzles
marijnheule/minisat
MiniSAT 2.2 with DRUP support and OSX compilation
marijnheule/preprocess-simple
Simple preprocessor for CNF formulas
marijnheule/tikz
Examples of tikz images
marijnheule/bce
blocked clause elimination
marijnheule/bva
tool to automatically reencode CNF formulas
marijnheule/coch-demo
Concurrent Proof Checking Demo
marijnheule/ddcnf-demo
Demo of delta debugging for CNF formulas
marijnheule/dpr-trim
Checker of DPR proof files
marijnheule/encode
Some encoding tools
marijnheule/entailment
Encoding to check entailment
marijnheule/isolator
Files and formulas regarding IsoLators
marijnheule/mathart
marijnheule/pr-proofs
collection of proofs in the PR format
marijnheule/sortcnf
Tool to sort a DIMACS formula
marijnheule/sr-proofs
collection of SR proofs
marijnheule/sr2drat
A tool that converts SR proofs into DRAT proofs