We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Tests of z3 4.8.10, cvc4 1.6 and 1.8, and alt-ergo 2.4.0.
Most comparisons are in proofs.smt2.
proofs.smt2