We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent b45f4c8 commit a199c19Copy full SHA for a199c19
versions
@@ -2,7 +2,7 @@ z3: z3-4.15.3
2
cvc5: cvc5-1.3.0
3
opensmt2: v2.9.2
4
yices2: yices-2.7.0
5
-smtrat: 24.06
+smtrat: 25.06-1
6
stp: 2.3.4_cadical
7
ostrich: v1.4smtcomp
8
mathsat5: 5.6.11
0 commit comments