Connecting SCIP to AIMMS

Hi @Mstislav Simonenkov,

Thanks for suggesting. Would you mind explaining how it would help you as both for Academic researchers (and thus in our Free AIMMS Academic License program) and in our Commercial license options CPLEX is available. One can also add Gurobi (for free in Academic, at a cost in commercial option). These solvers are at least 4 times faster looking at Mittelman benchmark, http://plato.asu.edu/ftp/milp.html and already come with AIMMS.

PS; my colleague @Marcel Hunting posted a reply here as well (it not being on the roadmap now):

It might be an idea that someone in the community using the AIMMS Open Solver Interface to build such a link. 

According to SCIP Doxygen Documentation: Frequently Asked Questions (FAQ) (scipopt.org) - SCIP needs additional solvers installed (CPLEX / Gurobi etc.) to be able to solve LP and MIP problems. 

Do I need any extra software?

Unless you want to use SCIP as a pure CP-Solver (see here), you need an underlying LP-Solver installed and linked to the libraries (see the INSTALL file in the SCIP root directory). LP-solvers currently supported by SCIP are:

We also provide some precompiled binaries. Besides that, you might need a modeling language like ZIMPL to generate *.mps or *.lp files. ZIMPL files can also directly be read by SCIP. You can download a package which includes SCIP, SoPlex and ZIMPL here.

If you want to use SCIP for mixed integer nonlinear programming, you might want to use an underlying NLP solver (e.g., Ipopt) and an expression interpreter (e.g., CppAD).

• CLP
• FICO XPress
• Gurobi (interface is in beta stage)
• ILOG CPLEX
• Mosek
• QSopt
• SoPlex

SCIP also accepts .mps or .lp file formats as input. You can generate these in AIMMS and pass onto SCIP. See LP file | AIMMS Community

Since two of your links refer to Steiner tree problems: If you want to use SCIP for solving such problems, you additionally need to install the STP application, see here

https://www.scipopt.org/doc/html/STP_MAIN.php

For solving Steiner tree instances you can just write them out in the .stp format and read them in via "./stp -f instance.stp”, see here for some examples of this file format:

https://dimacs11.zib.de/downloads.html