Scippy

SCIP

Solving Constraint Integer Programs

MinIISC

A solver that computes irreducible infeasible subsystems using Benders decomposition

The documentation of this application can be accessed here.