Add productivity TODO see issue #108

tpaviot · Oct 28, 2021 · 1a0f56a · 1a0f56a
1 parent 2d39619
commit 1a0f56a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/TODO b/TODO
@@ -8,6 +8,8 @@ TODO list
 End-user:
 =========
 
+[ ] Make the productivity Worker class property be a z3 IntSort
+
 [ ] Make SameWorkers and DistinctWorkers take a list of workers
 
 [X] Cumulative resources: resources that can process multiple tasks at the same time