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 | |
| • Equation Solving | Equation Solving | |
| • Mortgage Calculator | Mortgage Calculator | |
| • Rack Configuration | Rack Configuration |
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.