Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
TeX 83%
Python 14%
MiniZinc 2%
AMPL <1%
<1%
Makefile <1%
Perl <1%
README.md
A Modern Architecture for Constraint Modelling Languages #
Jip J. Dekker
This is the repository containing Jip J. Dekker's PhD thesis: “A Modern Architecture for Constraint Modelling Languages”.
Status Report #
| Ch. | Title | State |
|---|---|---|
| 0 | Abstract | 📖 Ready for reading |
| 1 | Introduction | 📖 Ready for reading |
| 2 | Background | 📖 Ready for reading |
| 3 | Rewriting Constraint Modelling Languages | 📖 Ready for reading |
| 4 | Reasoning about Reification | 📖 Ready for reading |
| 5 | Incremental Constraint Modelling | 📖 Ready for reading |
| 6 | Conclusions | 📖 Ready for reading |
| A1 | MiniZinc Syntax | 📖 Ready for reading |
| A2 | Experiment Resources | 📖 Ready for reading |