dekker.one
+2
-2
README.md
+2
-2
README.md
···
11
11
| 1 | Introduction | 📖 Ready for reading |
12
12
| 2 | Background | 📖 Ready for reading |
13
13
| 3 | Rewriting Constraint Modelling Languages | 📖 Ready for reading |
14
-
| 4 | Reasoning about Reification | 🚧 Received feedback from Guido |
15
-
| 5 | Incremental Constraint Modelling | ⏳ Sent to Guido |
14
+
| 4 | Reasoning about Reification | 📖 Ready for reading |
15
+
| 5 | Incremental Constraint Modelling | 📖 Ready for reading |
16
16
| 6 | Conclusions | 📖 Ready for reading |
17
17
| A1 | MiniZinc Syntax | 📖 Ready for reading |
18
18
| A2 | Experiment Resources | 📖 Ready for reading |