This release adds the support for a timeout parameter in the solve() and is_valid() members of the solver class.
0.10.5
Fixed a bug in the LTLfMT encoding that caused wrong results in formulas involving prev() and wprev() terms.
0.10.4
Bugfix release: - fixed a compilation problem with fmt 10
0.10.3
This release sets up the infrastructure to upload the Python bindings to PyPI.
0.10.2
Maintenance release to support Clang from LLVM 16.
0.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.