Christopher B. Browne's Home Page

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++.

Contact me at