v25.03.0

Maintenance release which removes some dangling features with a consequent
great simplification of the codebase.

We also turn to a year-month versioning scheme to better highlight our rolling-release
development model.

v0.10.8

Maintanance release to fix compilation issues with Clang 19.

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.