Armin Biere

kissat. C

cadical. CaDiCaL SAT Solver

satch. SAT Solver SATCH

lingeling. Lingeling SAT Solver

aiger. AIGER And-Inverter-Graph Library

gimsatul. C

runlim. C

cadiback. CaDiCaL BackBone Analyzer

yalsat. C

scranfilize. Tunable Scrambler for CNFs

dualiza. C

normalize-cnf. C

cnfuzz. C

cnfdd. C

reticode. C

lrat-trim. C

smvflatten. Tool to bit-blast SMV models

babywalk-exercise. C++

satsort. C

microsat. microsat

cnf2xnf. XNF Extractor

idrup-check. C

quienny. C++

dimocheck. C

zummarize. C

zort-benchmarks. C

satlive. SAT Live! web site

minibones. minibones computes a backbone of a given CNF.

lidrup-check. C

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

tabularAllSAT. C++

genxormiter. C

ratter. C