CaDiCaL

Incremental SAT Solver with linear Proofs