arminbiere

Professor University of Freiburg

Freiburg im Breisgau, Germany

Pinned Repositories

aiger
AIGER And-Inverter-Graph Library
Language:C64 4 518
cadical
CaDiCaL SAT Solver
Language:C++397 23 89136
dualiza
Language:C6 2 01
gimsatul
Language:C34 5 73
kissat
Language:C485 26 4889
lingeling
Lingeling SAT Solver
Language:C99 9 429
runlim
Language:C15 2 55
satch
SAT Solver SATCH
Language:C113 15 417
scranfilize
Tunable Scrambler for CNFs
Language:C3 2 02
yalsat
Language:C8 2 03

arminbiere's Repositories

arminbiere/kissat
Language:C485 26 4889
arminbiere/cadical
CaDiCaL SAT Solver
Language:C++397 23 89136
arminbiere/satch
SAT Solver SATCH
Language:C113 15 417
arminbiere/lingeling
Lingeling SAT Solver
Language:C99 9 429
arminbiere/aiger
AIGER And-Inverter-Graph Library
Language:C64 4 518
arminbiere/gimsatul
Language:C34 5 73
arminbiere/runlim
Language:C15 2 55
arminbiere/yalsat
Language:C8 2 03
arminbiere/dualiza
Language:C6 2 01
arminbiere/cadiback
CaDiCaL BackBone Analyzer
Language:C++5 3 35
arminbiere/microsat
microsat
Language:C3 1 01
arminbiere/satsort
Language:C3 2 0
arminbiere/scranfilize
Tunable Scrambler for CNFs
Language:C3 2 02
arminbiere/babywalk-exercise
Language:C++2 1 0
arminbiere/smvflatten
Tool to bit-blast SMV models
Language:C2 1 0
arminbiere/cnf2xnf
XNF Extractor
Language:C1 3 1
arminbiere/lrat-trim
Language:C1 2 0
arminbiere/minisat-vanilla
A minimalistic and high-performance SAT solver
Language:C++1 1 0
arminbiere/reticode
Language:C1 1 0
arminbiere/satlive
SAT Live! web site
Language:HTML1 1 0
arminbiere/tabularAllSAT
Language:C++1 0 0
arminbiere/idrup-check
Language:C2 0
arminbiere/lidrup-check
Language:C2 0
arminbiere/minibones
minibones computes a backbone of a given CNF.
Language:C++1 0
arminbiere/minisat
Collect variants of the Minisat SAT solver (minisat.se), and modifications that have been proposed in SAT competitions
Language:C++1 0
arminbiere/quienny
Language:C++1 0
arminbiere/ShonanArtOfSAT
Schedule for ArtOfSAT
1 0
arminbiere/spliticnf
Language:C2 0