0cfacc8

chore: add datatype-related tests to term manager's unit tests (#36)

6754354

Add function to get finite-field value.

be011cf

Update cvc5 version. (#32)

* Update cvc5 version.

* Change official release tag.

573fd67

Upgrade to Lean toolchain to v4.26.0.

ee9caec

feat: lift `Grammar`'s API (#29)

* feat: lift `Grammar`'s API

* chore: add `Grammar`s C++ unit tests

* feat: `Grammar` mutations now produces new `Grammar`-s, depending on ref-count

* chore: update tests to new `Grammar` api

* chore: c++ formatting

* chore: uncomment `Grammar` tests

* chore(doc): `Grammar` doc

* chore(doc): `Grammar.toString`

* chore: add missing `Hashable Grammar`

* chore: privatize `synthFun` helpers

20a6b2f

Minor fixes.

5d96f48

Support `Sort.getInstantiatedParameters`.

77f45ae

Bump to Lean v4.23.0 (#23)

5069cb6

Update to Lean toolchain 4.22.0.

701fd80

Support model domain elements.