DEPS Reference Manual

DEPS is a Model- and Property -based Problem Modeling Language. As a reference manual, this part of the documentation describes the syntax and the semantic of the whole characteristics of the language. For a practical use of the language please have a look to the DEPS tutorial part of the documentation.