[SCIP] [ITDS-Warning: SPAM] Building SCIP & MinIISC on Windows

[Marc Pfetsch]

Hi Andrea,

SCIP does not yet support computing IISs for LPs yet.

MinIISC is for computing a smallest number of constraints that have to 
be removed in order to obtain a feasible problem. (In some sense, this 
is dual to computing IISs.)

However, it is not hard to compute some IISs (although not necessarily 
one of smallest size), by computing a vertex of the alternative 
polyhedron ({y: A^T y = 0, b^T y = -1, y \geq 0} for the original 
infeasible system Ax \leq b.) [The MinIISC code also builds this 
polyhedron and you might want to modify the code to output an IIS.]

For your installation you should install "libreadline-dev" or use 
"-DREADLINE=off" as an argument to the cmake call.

Best

Marc

On 25/03/2025 12:39, Andrea Gavana wrote:
> Hello SCIP Users,
> 
> I am a newbie with SCIP - I have used it a few times for simple MIPs and 
> always using the available binaries for Windows 64 bit. I have never 
> compiled it from source.
> 
> I am now looking for ways to detect IIS in some of my standard, 
> continuous LPs (no MIPs). My understanding is that the MinIISC 
> application can be used for that purpose.
> 
> Unfortunately, there appear not to be any precompiled binaries for 
> MinIISC (or any other application that is not SCIP). Or at least I 
> couldn't find it anywhere.
> 
> So I have tried to follow the instructions on building SCIP and MinIISC 
> from the SCIP website, using CMake on Windows and the MinGW64 toolchain 
> (gcc for Windows) 11.2.0. I explicitly specify MinGW Makefiles.
> 
> The CMake configure action ends like this:
> 
> The following OPTIONAL packages have been found:
> 
> 
> * SOPLEX
> 
> * PkgConfig
> 
> 
> -- The following REQUIRED packages have been found:
> 
> 
> * Readline
> 
> * SCIP
> 
> * Threads
> 
> * ZLIB
> 
> 
> -- The following OPTIONAL packages have not been found:
> 
> 
> * Boost (required version >= 1.65.0)
> 
> * PAPILO
> 
> * ZIMPL (required version >= 3.5.0)
> 
> * IPOPT (required version >= 3.12.0)
> 
> * WORHP
> 
> * CRITERION
> 
> * GSL (required version >= 2.0)
> 
> * GMP
> 
> * CLIQUER
> 
> 
> Configuring done
> 
> 
> 
> After the "generate" from CMake, I naively attempted this:
> 
> cmake.exe --build build --target miniisc
> 
> I get this:
> 
> C:\Users\XXXX\scipoptsuite-9.2.1\scip\src\scip\dialog.c:48:10: fatal 
> error: readline/readline.h: No such file or directory
>     48 | #include <readline/readline.h>
>        |          ^~~~~~~~~~~~~~~~~~~~~
> compilation terminated.
> mingw32-make[3]: *** [scip\src\CMakeFiles\libscip.dir\build.make:3751: 
> scip/src/CMakeFiles/libscip.dir/scip/dialog.c.obj] Error 1
> mingw32-make[2]: *** [CMakeFiles\Makefile2:2114: 
> scip/src/CMakeFiles/libscip.dir/all] Error 2
> mingw32-make[1]: *** [CMakeFiles\Makefile2:2707: 
> scip/applications/MinIISC/CMakeFiles/miniisc.dir/rule] Error 2
> mingw32-make: *** [makefile:1022: miniisc] Error 2
> 
> I do have a readline-kind-of for Windows, that I obtained 
> from mingw-w64-x86_64-readline, but I guess I must be doing something 
> wrong somewhere. I am not an expert in compiling packages, so I am kind 
> of lost here.
> 
> I assume there aren't many people having a pre-compiled executable for MinIISC on Windows, but if anyone does, please do let me know - I'd be rather interested in giving it a try using some LP files I already have. Or any other suggestion you may have to help me fix the build issue would be most appreciated.
> 
> 
> Thank you in advance.
> 
> 
> Andrea.
> 
> 
> 
> 
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> https://listserv.zib.de/mailman/listinfo/scip