A.9.15 Applications

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.