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.