4. Constraint Logic Programming (CLP)

1. ILOG Solver: Constraint-Based Scheduling

2. Constraints Archive

3. The Mozart Programming System - Upgrade from Oz

4. Programming with Constraints

5. Google search for +Constraint +Logic programming CLP

6. FriarTuck

   Based on Mozart/ Oz , the FriarTuck engine is being used commercially to solve scheduling problems in sports, health care rostering, and school exam scheduling.

7. Mozart2

   Mozart2 is a modern "clean" implementation of the Mozart virtual machine, written in C++.