Pierre Villemot

This issue is a remainder to unlock the version of Dolmen before the next release. See #893

This issue is a reminder to all things we have to do to get a clean `check-all-sat` feature. - [ ] supporting `check-all-sat` with the solver `FunSAT`. As I explained...

feat: check-all-sat support

2

This PR adds the support for the `check-all-sat` support. I think we can merge the PR without clean-up its implementation as the feature doesn't break the classical model generation. Please...

After many months, I realize my `gentest` script doesn't fit our demands well. I plan to rewrite a simpler one soon.

Removing the temporary fix of the issue 744

1

See PR https://github.com/OCamlPro/alt-ergo/pull/747

Support AC modifier in SMT input format

1

While I was porting the documentation of AE from Sphinx to odoc, I noticed there is no support for the `ac` modifier in the SMT-LIB input format. I create this...

See #779