Scippy

SCIP

Solving Constraint Integer Programs

PolySCIP

A solver for multi-objective optimization problems.

The documentation of this application can be accessed here.