marijnheule/sat-examples marijnheule/sat-examples

  • Stars
    star
    6
  • Rank 2,526,178 (Top 51 %)
  • Language
    C
  • Created about 5 years ago
  • Updated 10 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
marijnheule/sat-examples
github

marijnheule

Reviews

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

Repository Details

Simple examples of using SAT solvers

More Repositories

1

microsat

microsat
C
128
star
2

Keller-encode

code related to Keller's conjecture
TeX
78
star
3

drat-trim

The DRAT-trim proof checker
C
49
star
4

CnC

Cube-and-Conquer SAT solver
C
30
star
5

matrix-challenges

Challenging SAT benchmarks for matrix multiplication
C
8
star
6

march-SAT-solver

the march SAT solver
C
6
star
7

CNP-SAT

SAT tools to compute unit-distance graphs
Python
6
star
8

proof-demo

Demos of proof checking
Assembly
3
star
9

clicolcom

Code for the Cliques, Colors, and Communication project
C++
3
star
10

pr2drat

A tool that converts PR proofs into DRAT proofs
C
2
star
11

mchess

Formulas and proofs of mutilated chessboard problems
Pascal
2
star
12

allsat

A minisat hack that counts all solutions
C++
2
star
13

preprocess-simple

Simple preprocessor for CNF formulas
C
1
star
14

tikz

Examples of tikz images
TeX
1
star
15

aws-CnC

Cube-and-Conquer for Amazon Web Services
C++
1
star
16

minisat

MiniSAT 2.2 with DRUP support and OSX compilation
C++
1
star
17

benchmarks

Some benchmark problems
1
star
18

ChineseRemainderEncoding

Encoding tool for the Chinese remainder encoding to determine the existence of Hamiltonian cycles.
C
1
star
19

complete-SBP

complete symmetry-breaking predicates for graph problems
1
star
20

bridges

scripts to run solvers in parallel on PSC
C
1
star
21

drup-patch

A patch to allow DRUP proof logging in MiniSAT based solvers
C
1
star
22

edge-matching

SAT encoding of edge-matching puzzles
C
1
star