summaryrefslogtreecommitdiff
path: root/src/proof/er/er_proof.cpp
AgeCommit message (Expand)Author
2019-06-12Fix warning (#3053)Haniel Barbosa
2019-06-05DRAT-Optimization (#2971)Alex Ozdemir
2019-03-16Enable CryptoMiniSat-backed BV proofs (#2847)Alex Ozdemir
2019-02-28ErProof class with LFSC output (#2812)Alex Ozdemir
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback