MathOptIIS.jl is a basic IIS solver for MathOptInterface.jl.
MathOptIIS.jl is licensed under the MIT License.
If you need help, please ask a question on the JuMP community forum.
If you have a reproducible example of a bug, please open a GitHub issue.
Install MathOptIIS using Pkg.add:
import Pkg
Pkg.add("MathOptIIS")The optimization community consistently uses "IIS", but they have not standardized on what the acronym stands for. We have seen:
- Irreducible Infeasible Set
- Irreducibly Inconsistent Set
- Irreducible Infeasible Subsystem
- Infeasible Irreducible System
- Irreducible Inconsistent Subsystem
- Irreducibly Inconsistent System
So we choose the name MathOptIIS, and you can decide what the acronym stands for.
The documentation for MathOptIIS.jl describes how to use the package.