ILOG Solver: Constraint-Based Scheduling
Constraints Archive
The Mozart Programming System - Upgrade from Oz
Programming with Constraints
Google search for +Constraint +Logic programming CLP
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.
If this was useful, let others know by an Affero rating