| Mon, 19 Jun 2023 22:28:09 +0200 | Mathias Fleury | early inclusion of cvc5 proof reconstruction; slightly reorganize smt/z3_reals; | file | diff | annotate |
| Fri, 12 Aug 2022 15:35:07 +0200 | blanchet | added support for cvc5 (whose interface is almost identical to CVC4) | file | diff | annotate | base |