Release 1.3.2

Patched an error that disallowed training for regression

Release 1.3.1

Patch for NeVer2 compatibility

Release 1.3.0

Released new VNNLIB parser, removing the pySMT dependency

Release 1.2.6

Bugfix and refactoring, improved documentation

Release 1.2.5

Fixed some bugs in both SSLP and SSBP algorithms that prevented a correct execution in some cases

Release 1.2.4

New Jupyter Notebooks for the API usage
Some refactoring and formatting

Release 1.2.3

Fixed a bug that prevented SSLP to run properly

Release 1.2.2

Fixed some bugs in the training and testing strategies

Release 1.2.1

Hotfix

Release 1.2.0

Added automated documentation using Sphinx
Refactor project setup using pyproject.toml