marijnheule/ChineseRemainderEncoding marijnheule/ChineseRemainderEncoding

  • Stars
    star
    1
  • Language
    C
  • Created over 3 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
marijnheule/ChineseRemainderEncoding
github

marijnheule

Reviews

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

Repository Details

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

More Repositories

1

microsat

microsat
C
129
star
2

Keller-encode

code related to Keller's conjecture
TeX
78
star
3

drat-trim

The DRAT-trim proof checker
C
51
star
4

CnC

Cube-and-Conquer SAT solver
C
30
star
5

matrix-challenges

Challenging SAT benchmarks for matrix multiplication
C
9
star
6

sat-examples

Simple examples of using SAT solvers
C
6
star
7

march-SAT-solver

the march SAT solver
C
6
star
8

CNP-SAT

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

clicolcom

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

proof-demo

Demos of proof checking
Assembly
3
star
11

pr2drat

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

mchess

Formulas and proofs of mutilated chessboard problems
Pascal
2
star
13

drup-patch

A patch to allow DRUP proof logging in MiniSAT based solvers
C
2
star
14

allsat

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

preprocess-simple

Simple preprocessor for CNF formulas
C
1
star
16

tikz

Examples of tikz images
TeX
1
star
17

aws-CnC

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

minisat

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

complete-SBP

complete symmetry-breaking predicates for graph problems
1
star
20

benchmarks

Some benchmark problems
1
star
21

6hole-talk

slides about 6hole-problem
TeX
1
star
22

bridges

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

edge-matching

SAT encoding of edge-matching puzzles
C
1
star