arminbiere/cadical Issues
return c UNKNOWN
Closed 1Project doesn't install anything
Updated 5Option to suppress printing status line
Updated 1Statistics Bug Report
Closed 1Bug in handling of assumptions
Closed 3`uip` is always true
Closed 2Minimal satisfying assignment
Closed 2Expose phase/unphase in the C API
Updated 2Output Failed Literals in CLI
Updated 1The VERSION file is out of date
Closed 1LRAT proof stats on stdout
Closed 3Output LRAT proofs in VeriPB format?
Updated 1Was 1.5.3 retagged?
Closed 2Running on multi-thread platform
Closed 3Generate full Dimacs files
Updated 1hints for cnf solver
Updated 5Compilation failure on archlinux
Closed 4