1. A high level syntax for model description
2. Very flexible and easy data modelling
3. Possibility to read all data at runtime
4. Check data consistency by assertions
5. Defining new types with user defined type checking
6. User defined functions and predicates
7. Local search methods for constraint programmers

Student
Reza Rafeh
 
Supervisor
Kim Marriott
Maria Garcia de la Banda
Mark Wallace
 
Type
PhD