CLP(FD) applications that we find particularly impressive and worth
studying include:
- Michael Hendricks uses CLP(FD) constraints for flexible reasoning
about dates and times in the
julian
package.
- Julien Cumin uses CLP(FD) constraints for integer arithmetic in
Brachylog
.