Skip to main content

As a Researcher (role) I need the ability to connect SCIP one of the fastest non-commercial solvers for mixed integer programming (MIP) to AIMMS Developer (functionality).

 

SCIP Optimization Suite is a state-of-art non commercial solver for different MIP and LP problems.
For more information please refere to the official website and scientific papers.
SCIP (scipopt.org)
https://doi.org/10.1287/ijoc.2021.1087
SCIP-Jack: A Solver for Steiner Tree Problems in Graphs and their Relatives (zib.de)

 

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).

 

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


Updated idea statusNewDiscussion ongoing

Updated idea status  Discussion ongoing→ Declined
 
We have no plans for connecting SCIP to AIMMS. Building a link would be a large project. The link could be build, using the AIMMS Open Solver Interface, by a group of interested developers as part of the AIMMSlinks project at COIN-OR. We can help with building the link but we are not going to initiate or lead such a project.

Didn't find what you were looking for? Try searching on our documentation pages:

AIMMS Developer & PRO | AIMMS How-To | AIMMS SC Navigator