marijnheule/CNP-SAT

Stars
6
Rank 2,526,178 (Top 51 %)
Language
Python
Created over 6 years ago
Updated almost 3 years ago

marijnheule/CNP-SAT

marijnheule

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

SAT tools to compute unit-distance graphs

microsat

Keller-encode

code related to Keller's conjecture

drat-trim

The DRAT-trim proof checker

CnC

Cube-and-Conquer SAT solver

matrix-challenges

Challenging SAT benchmarks for matrix multiplication

sat-examples

Simple examples of using SAT solvers

march-SAT-solver

the march SAT solver

proof-demo

Demos of proof checking

clicolcom

Code for the Cliques, Colors, and Communication project

pr2drat

A tool that converts PR proofs into DRAT proofs

mchess

Formulas and proofs of mutilated chessboard problems

allsat

A minisat hack that counts all solutions

preprocess-simple

Simple preprocessor for CNF formulas

tikz

Examples of tikz images

aws-CnC

Cube-and-Conquer for Amazon Web Services

minisat

MiniSAT 2.2 with DRUP support and OSX compilation

benchmarks

Some benchmark problems

ChineseRemainderEncoding

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

complete-SBP

complete symmetry-breaking predicates for graph problems

bridges

scripts to run solvers in parallel on PSC

drup-patch

A patch to allow DRUP proof logging in MiniSAT based solvers

edge-matching

SAT encoding of edge-matching puzzles