GitHub repository: jump-dev/MathOptIIS.jl
Primary language: Julia
Description: A simple irreducible infeasible subsystem solver for MathOptInterface.jl