MinIISC
A solver that computes irreducible infeasible subsystems using Benders decomposition
The documentation of this application can be accessed here.
A solver that computes irreducible infeasible subsystems using Benders decomposition
The documentation of this application can be accessed here.