Constraint-based static schedule calculation tool.