projects

SAT

project thumbnail

CaDiCaL

Incremental SAT Solver with linear Proofs

project thumbnail

CadiBack

CaDiCaL BackBone Analyzer

Model Checking

project thumbnail

Certifaiger

Certificate checker for AIGER

project thumbnail

Cerbtora

Certificate checker for Btor2

project thumbnail

Voiraig

The first certifying model checker