Solving Constraint Integer Programs
A solver for scheduling problems.
The documentation of this application can be accessed here.