.. _changelog:

Changelog
===============================================

0.6.0
-----

- Dropped support for Python 3.6 and 3.7
- Added stubs
- Fixed Mergesat name
- Add support to add nested negation of ``Bool`` to CNFs.


0.5.3
-----

- Small fixes in Running and Tuning scenario generation
- Fast formula loading functions now also accept a ``pathlib.Path`` object
- Improve error messages in BlackBox
- Running now ensures that the solvers, tasks and seeds provided by the user exist
- Remove support for abbreviations in the ``optilog-running`` CLI

0.5.2
-----

- Improve efficiency in the Modelling module
- Small fixes in BlackBox and Tuning
- Fixed LinearMaxSat issue
- Modelling parser raises an error if a syntax error is found
- Fixed problems with paths and spaces in the Running module

0.5.1
-----

- Added Named Choices
- Added default as elite parameter for GGA
- Allow to set the cost that SMAC uses on a crash
- Bugfixes


0.5.0
-----
- Complete refactor of the Modelling module with improved encoding to CNF
- Parsing of the running scenario now defaults to simplify_index as False

0.4.2
-----

- Changed the "optilog-scenario" command to "optilog-running"
- Improved the --help message of the "optilog-running" command
- Improved the documentation of the Running module
- Fixed an issue with the new enforcer integration with Satex
- Changed the time scale of the running scenario to seconds by default. This can be configured to be milliseconds.

0.4.1
-----

- Complete refactor and redesign of the Tuning and Running modules:
    - Tuning and Running now both support BlackBox as runnables (as entrypoints, configurables and solvers)
    - Scenario generation doesn't require python templates anymore
    - Improved integration with GGA and SMAC

- Support for new WCNF format from the MSE 2022
- Added support for formula visualization with colors
- Improved enforcer example

0.3.6
-----

- Respect runsolver flag on Running even with certain constraints

0.3.5
-----

- Added get_trail and get_units to the iSAT interface

0.3.4
-----

- Fixes and improvements in Modelling

0.3.3
-----

- Internal compilation improvements

0.3.2
-----

- Improved num_clauses documentation
- Improved docs
- Improved error messages
- Added support for signal propagation on BlackBox
- Running module writes logs for each solver in separate directories
- Fixes and improvements in Modelling, Tuning and BlackBox

0.3.1
-----

- Totalizer encoder, harmonization as list of clauses
- New var method harmonization between solvers
- Included ExecutionConstraints class to unify constraints between execution definitions
- Internal Blackbox refactor of the Execution and Configuration modules

0.3.0
-----

- Added solver cloning
- Added Blackbox v1
- Added SatexBlackbox v1
- Support for multiple solvers per running scenario
- Improve exception messages and docs
- Add support for Python 3.10
- Refactor modules names
- Other small changes, improvements and bug fixes