New in Version 0.19.0

The build system has changed to meson. See the new instructions for building, testing, and installing in the README.

Interface Changes

• Deprecating old logger class

Implementation

• Bugfix in sat_relations