Freiburg im Breisgau, Germany

Armin Biere

Elite
@arminbiere

Professor University of Freiburg

arminbiere.com

kissat. C

639

cadical. CaDiCaL SAT Solver

566

satch. SAT Solver SATCH

123

lingeling. Lingeling SAT Solver

107

aiger. AIGER And-Inverter-Graph Library

103

gimsatul. C

37

runlim. C

17

cadiback. CaDiCaL BackBone Analyzer

11

yalsat. C

11

scranfilize. Tunable Scrambler for CNFs

6

dualiza. C

6

normalize-cnf. C

4

cnfuzz. C

4

cnfdd. C

4

satsort. C

3

microsat. microsat

3

reticode. C

3

smvflatten. Tool to bit-blast SMV models

2

babywalk-exercise. C++

2

lrat-trim. C

2

quienny. C++

1

zummarize. C

1

cnf2xnf. XNF Extractor

1

satlive. SAT Live! web site

1

minibones. minibones computes a backbone of a given CNF.

1

lidrup-check. C

1

minisat-vanilla. A minimalistic and high-performance SAT solver

1

tabularAllSAT. C++

1

idrup-check. C

1

genxormiter. C

1
30
Apply