Beast code in Giters

Marijn Heule's repositories

microsat

Language:CMIT128 8 6

Keller-encode

code related to Keller's conjecture

Language:TeX77 70

drat-trim

The DRAT-trim proof checker

Language:CMIT49 6 31

CnC

Cube-and-Conquer SAT solver

Language:C30 9 1

matrix-challenges

Challenging SAT benchmarks for matrix multiplication

Language:C8 80

CNP-SAT

SAT tools to compute unit-distance graphs

Language:Python6 30

sat-examples

Simple examples of using SAT solvers

Language:C6 40

clicolcom

Code for the Cliques, Colors, and Communication project

Language:C++3 30

proof-demo

Demos of proof checking

Language:Assembly3 30

benchmarks

Some benchmark problems

1 30

bridges

scripts to run solvers in parallel on PSC

Language:C1 40

ChineseRemainderEncoding

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

Language:C1 40

complete-SBP

complete symmetry-breaking predicates for graph problems

1 40

edge-matching

SAT encoding of edge-matching puzzles

Language:C1 20

minisat

MiniSAT 2.2 with DRUP support and OSX compilation

Language:C++NOASSERTION1 30

preprocess-simple

Simple preprocessor for CNF formulas

Language:C1 30

tikz

Examples of tikz images

Language:TeX1 30

bce

blocked clause elimination

Language:C030

bva

tool to automatically reencode CNF formulas

Language:C++GPL-2.0030

coch-demo

Concurrent Proof Checking Demo

Language:C020

ddcnf-demo

Demo of delta debugging for CNF formulas

Language:C++030

dpr-trim

Checker of DPR proof files

Language:C030

encode

Some encoding tools

Language:C030

entailment

Encoding to check entailment

Language:C020

isolator

Files and formulas regarding IsoLators

Language:C030

mathart

Language:TeX030

pr-proofs

collection of proofs in the PR format

Language:C030

sortcnf

Tool to sort a DIMACS formula

Language:C020

sr-proofs

collection of SR proofs

Language:C020

sr2drat

A tool that converts SR proofs into DRAT proofs

Language:C010