| Fri, 12 Aug 2022 11:26:09 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 12 Aug 2022 11:18:22 +0200 | wenzelm | tuned signature, following hints by IntelliJ IDEA; | changeset | files |
| Fri, 12 Aug 2022 15:35:07 +0200 | blanchet | added support for cvc5 (whose interface is almost identical to CVC4) | changeset | files |