summaryrefslogtreecommitdiff
path: root/src/prop/proof_cnf_stream.h
AgeCommit 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-02Update copyright headers.Aina Niemetz
2020-09-29[proof-new] Adds a proof-producing CNF converter (#5137)Haniel Barbosa
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback