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