projects

A growing collection of your cool projects.

work

project thumbnail

Certifaiger

Certificate checker for AIGER

project thumbnail

CaDiCaL

Incremental SAT Solver with linear Proofs

project thumbnail

CadiBack

CaDiCaL BackBone Analyzer

project thumbnail

Cerbotor

Certificate checker for Btor2

project thumbnail

Voiraig

The first certifying model checker

fun