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