19 lines
1.2 KiB
Markdown
19 lines
1.2 KiB
Markdown
# A Modern Architecture for High-Level Constraint Modelling Languages
|
|
*Jip J. Dekker*
|
|
|
|
This is the repository containing Jip J. Dekker's PhD thesis: "A Modern Architecture for High-Level Constraint Modelling Languages"
|
|
|
|
## Status Report
|
|
|
|
| Ch. | Title | State |
|
|
|-----|------------------------------------------|---------------------------------|
|
|
| | Abstract | 🆕 Blank |
|
|
| 1 | Introduction | ⏳ Sent to Peter |
|
|
| 2 | Background | 🚧 Received feedback from Guido |
|
|
| 3 | Rewriting Constraint Modelling Languages | 📖 No planned work |
|
|
| 4 | Reasoning about Reification | ⏳ Sent to Guido |
|
|
| 5 | Incremental Constraint Modelling | ⏳ Sent to Guido |
|
|
| 6 | Conclusions | ⏳ Sent to Julie |
|
|
| A1 | MiniZinc Syntax | 📖 No planned work |
|
|
| A2 | Experiment Resources | 📖 Awaiting final changes |
|