v0.10.7

Maintenance release to work with the latest versions of LLVM/Clang and cvc5

v0.10.6

This release adds the support for a timeout parameter in
the solve() and is_valid() members of the solver class.

v0.10.5

Fixed a bug in the LTLfMT encoding that caused wrong results in formulas
involving prev() and wprev() terms.

v0.10.4

Bugfix release:

• fixed a compilation problem with fmt 10

v0.10.3

This release sets up the infrastructure to upload the Python bindings to PyPI.

v0.10.2

Maintenance release to support Clang from LLVM 16.

v0.10.1

This small release adds the much requested --validity
(or -v) option to the black solve command to test validity
of formulas instead of satisfiability.

v0.10.0

This release brings many API improvements, especially on the side of LTL modulo theories,
and experimental Python bindings.

v0.9.2

Bugfix release:

• Fix a compilation issue with fmt 9.x (mostly affecting Homebrew users)
• Fix a bug in the --remove-past option when used with finite-traces semantics

v0.9.1

Packaging fix release.