Scippy

SCIP

Solving Constraint Integer Programs

Scheduler

A solver for scheduling problems.

The documentation of this application can be accessed here.