summaryrefslogtreecommitdiff
path: root/test/unit/proof/CMakeLists.txt
AgeCommit message (Expand)Author
2020-09-01Removes old proof code (#4964)Haniel Barbosa
2019-02-28ErProof class with LFSC output (#2812)Alex Ozdemir
2019-01-13LFSC LRAT Output (#2787)Alex Ozdemir
2019-01-09Clause proof printing (#2779)Alex Ozdemir
2019-01-06[DRAT] DRAT data structure (#2767)Alex Ozdemir
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback