-
Notifications
You must be signed in to change notification settings - Fork 21
/
NOTES
157 lines (121 loc) · 3.47 KB
/
NOTES
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
RELEASE NOTES
Version 2.0.0
=============
Minor fixes.
Fixes:
- increase code coverage
- fix colab urls in notebooks
- minor fixes to ForceOptionalSchedule constraint
Version 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
Version 0.9.4
=============
Bump z3-solver to release 4.12.4.0
Version 0.9.3
=============
Minor bugfix release (notebooks, documentations typos)
Version 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
Version 0.9.1
=============
Minor fixes
Version 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
Version 0.8.0
=============
New features:
- new ResourceTasksDistance constraint
- new NonConcurrentBuffer class
- new TasksContiguous constraint
Misc:
- move random_seed parameter name to random_values. Random improved
- new resource_constrained_project_scheduling notebook
Version 0.7.1
=============
New features:
- applied Black formatting
- Hotfix: temporal debugging log
Version 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
Version 0.6.1
=============
Misc:
- fix regression in render_matplotlib
- fix features jupyter notebook
Version 0.6.0
=============
New features:
- full multiobjective optimization support (lexicon, box, pareto fronts)
- new ScheduleNTasksInTimeIntervals task constraint
Misc:
- minor bugfixes
Version 0.5.0
=============
New features:
- date and times in problem definition and result
- plotly gantt chart
Misc:
- use z3 Solver instead of SolverFor(logic)
- fix flowtime objective for optional tasks
- fix priorities for optional tasks
Version 0.4.0
=============
New features:
- optional task and resource constraints
Misc:
- new unit tests
Version 0.3.0
=============
New features:
- cumulative worker
Version 0.2.0
=============
New features:
- optional tasks (optional flag, OptionalTaskConditionSchedule and OptionalTasksDependency constraints)
- resource utilization indicator
- boolean ops and implies/ite can take lists of constraints
Misc:
- extend coverage and test suite
- add a new notebook to the documentation: Flow Shop scheduling example.
- bump z3 solver dependency up to 4.8.10.0
Version 0.1.0
=============
- First public release.