Examples of tikz images

Some encoding tools

Concurrent Proof Checking Demo

scripts to run solvers in parallel on PSC

The iGlucose SAT solver

Cube-and-Conquer SAT solver

collection of SR proofs

Code for the Cliques, Colors, and Communication project

Simple examples of using SAT solvers

The DRAT-trim proof checker

a slightly modified version of the ubcsat solver

a tool to filter out all clauses satisfied by an assignment

Some benchmark problems

Demos of proof checking

A tool that converts SR proofs into DRAT proofs

Checker of DPR proof files

slides about 6hole-problem

Encoding to check entailment

Tool to sort a DIMACS formula

complete symmetry-breaking predicates for graph problems

SAT encoding of edge-matching puzzles

code related to Keller's conjecture

Simple preprocessor for CNF formulas

MiniSAT 2.2 with DRUP support and OSX compilation

Demo of delta debugging for CNF formulas

blocked clause elimination

microsat

tool to automatically reencode CNF formulas

Encoding tool for the Chinese remainder encoding to determine the existence of Hamiltonian cycles.