| Fri, 12 Aug 2022 15:35:07 +0200 | blanchet | added support for cvc5 (whose interface is almost identical to CVC4) | changeset | files |
| Thu, 11 Aug 2022 13:23:00 +0200 | nipkow | removing the [simp] attribute breaks too many AFP entries severely | changeset | files |
| Thu, 11 Aug 2022 11:57:19 +0200 | nipkow | nlists is picked up automatically but conflicts with the RBT setup | changeset | files |