Changelog

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