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.