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
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

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

proof-demo

Demos of proof checking
Assembly
3
star
10

clicolcom

Code for the Cliques, Colors, and Communication project
C++
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

allsat

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

preprocess-simple

Simple preprocessor for CNF formulas
C
1
star
15

tikz

Examples of tikz images
TeX
1
star
16

aws-CnC

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

minisat

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

benchmarks

Some benchmark problems
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