Solving Constraint Integer Programs
A solver for multi-objective optimization problems.
The documentation of this application can be accessed here.