From 265394952a6bef6196d7f442fa005fa1b7954f63 Mon Sep 17 00:00:00 2001 From: Joaquim Date: Mon, 14 Jul 2025 00:50:31 -0300 Subject: [PATCH 1/2] Update README.md --- README.md | 16 +++++++++++++++- 1 file changed, 15 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 542b174..bd6ec0e 100644 --- a/README.md +++ b/README.md @@ -4,7 +4,21 @@ [![codecov](https://codecov.io/gh/jump-dev/MathOptIIS.jl/branch/main/graph/badge.svg)](https://codecov.io/gh/jump-dev/MathOptIIS.jl) [MathOptIIS.jl](https://github.com/jump-dev/MathOptIIS.jl) is a -basic conflict solver for MathOptInterface.jl. +basic IIS solver for MathOptInterface.jl. + +## IIS + +Yes, IIS because it might mean: + +1. Irreducible Infeasible Set +2. Irreducibly Inconsistent Set +3. Irreducible Infeasible Subsystem +4. Infeasible Irreducible System +5. Irreducible Inconsistent Subsystem +6. Irreducibly Inconsistent System +7. Minimal Conflict + +So, IIS is almost the only consensus. ## License From 271c31f241e17f9b0eefce6bcdfc2a39a664fea6 Mon Sep 17 00:00:00 2001 From: Oscar Dowson Date: Mon, 14 Jul 2025 15:57:09 +1200 Subject: [PATCH 2/2] Update README.md --- README.md | 32 ++++++++++++++++---------------- 1 file changed, 16 insertions(+), 16 deletions(-) diff --git a/README.md b/README.md index bd6ec0e..9eea44b 100644 --- a/README.md +++ b/README.md @@ -3,22 +3,8 @@ [![Build Status](https://github.com/jump-dev/MathOptIIS.jl/actions/workflows/ci.yml/badge.svg?branch=main)](https://github.com/jump-dev/MathOptIIS.jl/actions?query=workflow%3ACI) [![codecov](https://codecov.io/gh/jump-dev/MathOptIIS.jl/branch/main/graph/badge.svg)](https://codecov.io/gh/jump-dev/MathOptIIS.jl) -[MathOptIIS.jl](https://github.com/jump-dev/MathOptIIS.jl) is a -basic IIS solver for MathOptInterface.jl. - -## IIS - -Yes, IIS because it might mean: - -1. Irreducible Infeasible Set -2. Irreducibly Inconsistent Set -3. Irreducible Infeasible Subsystem -4. Infeasible Irreducible System -5. Irreducible Inconsistent Subsystem -6. Irreducibly Inconsistent System -7. Minimal Conflict - -So, IIS is almost the only consensus. +[MathOptIIS.jl](https://github.com/jump-dev/MathOptIIS.jl) is a basic IIS solver +for MathOptInterface.jl. ## License @@ -39,6 +25,20 @@ 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](https://jump.dev/MathOptIIS.jl/dev/)