Hide menu

A Tiny Constraint Modelling Language

Marco Kuhlmann. A Tiny Constraint Modelling Language. Bachelor’s thesis, Saarland University, Saarbrücken, Germany, 2003.


Compared to the proprietary programming languages of systems like ILOG Solver, SICStus Prolog and Mozart Oz, constraint modelling languages offer a lot of benefits, such as usability and portability. This report presents the design and a prototype implementation of the “Tiny Constraint Modelling Language” (TCML). The data types and control structures of TCML have been designed to make the modelling of constraint problems intuitive and declarative; they include powerful iterators and arrays of dynamic size. The prototype implementation currently includes backends for Mozart Oz and ILOG solver.


Page responsible: Marco Kuhlmann
Last updated: 2018-07-09