| Mon, 19 Jun 2023 22:28:09 +0200 | Mathias Fleury | early inclusion of cvc5 proof reconstruction; slightly reorganize smt/z3_reals; | file | diff | annotate |
| Mon, 22 Aug 2022 06:27:28 +0200 | Mathias Fleury | remove duplicate parsing for alethe; fix skolemization; | file | diff | annotate |
| Fri, 11 Mar 2022 09:23:05 +0100 | desharna | updated SMT certificates | file | diff | annotate |
| Fri, 01 Oct 2021 22:35:32 +0200 | Mathias Fleury | update syntax for verit | file | diff | annotate |
| Fri, 05 Mar 2021 13:48:23 +0100 | wenzelm | rebuild SMT certificates from scratch; | file | diff | annotate |
| Thu, 15 Oct 2020 18:17:57 +0200 | Mathias Fleury | remove unsupported max-time option from veriT calls | file | diff | annotate |
| Mon, 12 Oct 2020 18:59:44 +0200 | Mathias Fleury | add reconstruction for the SMT solver veriT | file | diff | annotate |