GitHub

MathOptIIS.jl

Build Status codecov

MathOptIIS.jl is a basic IIS solver for MathOptInterface.jl.

License

MathOptIIS.jl is licensed under the MIT License.

Getting help

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.

Installation

Install MathOptIIS using Pkg.add:

import Pkg
Pkg.add(; url = "https://github.com/jump-dev/MathOptIIS.jl")

The name

The optimization community consistently uses "IIS", but they have not standardized on what the acronym stands for. We have seen:

  1. Irreducible Infeasible Set
  2. Irreducibly Inconsistent Set
  3. Irreducible Infeasible Subsystem
  4. Infeasible Irreducible System
  5. Irreducible Inconsistent Subsystem
  6. Irreducibly Inconsistent System

So we choose the name MathOptIIS, and you can decide what the acronym stands for.

Documentation

The documentation for MathOptIIS.jl describes how to use the package.