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