Node:Example Programs, Next:, Previous:Defining Primitive Constraints, Up:CLPFD



Example Programs

This section contains a few example programs. The first two programs are included in a benchmark suite that comes with the distribution. The benchmark suite is run by typing:

| ?- compile(library('clpfd/examples/bench')).
| ?- bench.