search

cvc5 / LFSC

LFSC Proof Checker
Other
11 stars 9 forks source link

Remove print smt2 utility #62

Closed ajreynol closed 2 years ago

ajreynol commented 2 years ago

This is a deprecated utility used as a way of converting certain proofs to smt2; this is dead code and can be done outside of LFSC.