Constraint Programming model representation in NDL

2018-10-12

Features

Every model consists of:

• variables indexed by tuples of integers (mimicking multidimensional arrays)
• constraints defined on the pairs of variables
• constants:
  • integers: may be used as ranges boundaries
  • ranges: may be used as domains or index sets for variables

Limitations

• domains have to be ranges (no holes)

Examples

The SWI-Prolog based prototype is available in the noodle-prolog directory. There is one basic example available for now. To run it, write from the noodle-prolog directory:

./run_example.sh nqueens

Then you can check examples/nqueens.ndl to see ndl model of the basic 8-queens problem.#