cvc5 tools Tools to help you test cvc5. proof-rules.py Executes .smt2 files with alethe proof mode on to gather statistics