2.0.0

Minor fixes :

• increase code coverage
• fix colab urls in notebooks
• minor fixes to ForceOptionalSchedule constraint

2.0.0a

This release introduces major API changes.

Bump z3-solver to release 4.12.5.0

Refactoring:

• port codebase to pydantic V2

• export solution to pandas dataframe

• define LinearFunction, PolynomialFunction etc. for costs

• JSON importer/exporter improvements thanks to pydantic

• use pytest for unittest suite

• poetry support

• refactor Indicator and Objective

• documentation use mkdocs material

• more tests

0.9.4

Bump z3-solver version to 4.12.4.0

0.9.3

Minor bugfixes (documentation, notebooks typos)

0.9.2

New features:

• export to excel

Misc:

• documentation update
• delay solver initialization, better tracking for conflicting constraints
• explicitly raise an exception is ResourceUnavailable defined before the resource is assigned to the tasks. Fix issue #126
• raise exception if resource is identified by its name and not the variable name
• change report status in check_sat
• fix costs computation
• fix boolean examples in features notebook
• move first order logic tests to test_fol.py
• many typos/cosmetic changes

0.9.1

Minor fixes

0.9.0

New features:

• new constraints: OrderedTaskGroup, UnorderedTaskGroup
• add the builtin z3 optimizer as a solver option

Misc:

• max_time can be set to inf(inity)
• fix cost computation
• refactor the Constraint class hierarchy

0.8.0

New features:

• new ResourceTasksDistance constraint
• new NonConcurrentBuffer class
• new TasksContiguous constraint

0.7.1

New features:

• applied Black formatting
• Hotfix: temporal debugging log

0.7.0

New features:

• new incremental solver for optimization
• performance improvements
• new Workload constraint
• single resource flowtime optimization objective
• linear and polynomial cost functions
• add a benchmark folder including one benchmark