arminbiere

Professor University of Freiburg

Freiburg im Breisgau, Germany

Pinned Repositories

aiger
AIGER And-Inverter-Graph Library
Language:C53 4 517
cadical
CaDiCaL SAT Solver
Language:C++325 22 80115
dualiza
Language:C5 2 01
gimsatul
Language:C29 5 72
kissat
Language:C413 23 4377
lingeling
Lingeling SAT Solver
Language:C91 8 429
runlim
Language:C12 2 54
satch
SAT Solver SATCH
Language:C98 15 418
scranfilize
Tunable Scrambler for CNFs
Language:C3 2 02
yalsat
Language:C7 2 03

arminbiere's Repositories

arminbiere/kissat
Language:C413 23 4377
arminbiere/cadical
CaDiCaL SAT Solver
Language:C++325 22 80115
arminbiere/satch
SAT Solver SATCH
Language:C98 15 418
arminbiere/lingeling
Lingeling SAT Solver
Language:C91 8 429
arminbiere/aiger
AIGER And-Inverter-Graph Library
Language:C53 4 517
arminbiere/gimsatul
Language:C29 5 72
arminbiere/runlim
Language:C12 2 54
arminbiere/yalsat
Language:C7 2 03
arminbiere/dualiza
Language:C5 2 01
arminbiere/microsat
microsat
Language:C3 1 01
arminbiere/satsort
Language:C3 2 0
arminbiere/scranfilize
Tunable Scrambler for CNFs
Language:C3 2 02
arminbiere/cadiback
CaDiCaL BackBone Analyzer
Language:C++2 3 03
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++
arminbiere/ShonanArtOfSAT
Schedule for ArtOfSAT
1 0
arminbiere/spliticnf
Language:C2 0