Black-sat

Fix a crash in Release mode that affected the published binary packages.

Little maintenance release.

This release adds support for Windows! No installation required, just download and unpack the `.zip` file.

This release adds the support for LTLf, i.e. the search for finite models!

The `--finite` option can be given to ask BLACK to interpret the given formula over finite models.

Bugfix release to solve a compilation problem for the macOS Homebrew formula.

This release comes with no new features but 100% test coverage!