Next: Syntax Summary, Previous: CLPFD Coexisting, Up: lib-clpfd [Contents][Index]
|• Send More Money||Send More Money|
|• N Queens||N Queens|
|• Cumulative Scheduling||Cumulative Scheduling|
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')). | ?- make.