arminbiere

Armin Biere's repositories

kissat

Language:CMIT419 23 43

cadical

CaDiCaL SAT Solver

Language:C++MIT333 22 84

satch

SAT Solver SATCH

Language:CMIT100 15 4

lingeling

Lingeling SAT Solver

Language:CMIT91 8 4

aiger

AIGER And-Inverter-Graph Library

Language:CNOASSERTION53 4 5

gimsatul

Language:CMIT29 5 7

runlim

Language:CNOASSERTION12 2 5

yalsat

Language:CMIT7 20

dualiza

Language:CMIT5 20

microsat

Language:CMIT3 10

satsort

Language:CMIT3 20

scranfilize

Tunable Scrambler for CNFs

Language:CMIT3 20

cadiback

CaDiCaL BackBone Analyzer

Language:C++MIT2 30

cnf2xnf

XNF Extractor

Language:CMIT1 3 1

lrat-trim

Language:CMIT1 20

minisat-vanilla

A minimalistic and high-performance SAT solver

Language:C++NOASSERTION1 10

reticode

Language:CMIT1 10

satlive

SAT Live! web site

Language:HTML1 10

tabularAllSAT

Language:C++100

idrup-check

Language:CMIT020

lidrup-check

Language:CMIT020

minibones

minibones computes a backbone of a given CNF.

Language:C++NOASSERTION010

minisat

Collect variants of the Minisat SAT solver (minisat.se), and modifications that have been proposed in SAT competitions

Language:C++NOASSERTION010

quienny

Language:C++MIT000

ShonanArtOfSAT

Schedule for ArtOfSAT

010

spliticnf

Language:CMIT020