Age | Commit message (Expand) | Author |
---|---|---|
2021-02-23 | [proof-new] Fix handling of removable clauses in proof cnf stream (#5961) | Haniel Barbosa |
2021-02-11 | [proof-new] Adding a proof-producing ensure literal method (#5889) | Haniel Barbosa |
2020-12-02 | Update copyright headers. | Aina Niemetz |
2020-09-29 | [proof-new] Adds a proof-producing CNF converter (#5137) | Haniel Barbosa |