Marijn Heule (@marijnheule)
github

marijnheule

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    340
  • Global Rank 80,470 (Top 3 %)
  • Followers 92
  • Registered about 13 years ago
  • Most used languages
    C
         54.5 %
    C++
         18.2 %
    TeX
         13.6 %
    Python
         4.5 %
    Pascal     4.5 %
    Assembly
         4.5 %
  • Location 🇺🇸 United States
  • Country Total Rank 20,902
  • Country Ranking
    TeX
         261
    Pascal     317
    C
         1,165
    Assembly
         1,176

Top 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

ChineseRemainderEncoding

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

complete-SBP

complete symmetry-breaking predicates for graph problems
1
star
21

benchmarks

Some benchmark problems
1
star
22

6hole-talk

slides about 6hole-problem
TeX
1
star
23

bridges

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

edge-matching

SAT encoding of edge-matching puzzles
C
1
star