Stack Overflow
Stack Overflow

Questions tagged [scip]

Software package for solving mixed integer linear and nonlinear programming problems and part of the SCIP Optimization Suite. SCIP is distributed under the Apache 2.0 license and its C source code is available.

Mixed integer programming is the task to optimize a linear functional over a polyhedron, where some or all variables are constrained to be integer. The SCIP Optimization suite offers a branch-and-cut implementation, and a standalone implementation of the Simplex algorithm, called SoPlex, to solve linear programming problems.

Furthermore, SCIP comes with a modelling language ZIMPL that aims to ease the task of formulating mixed integer programming problems, a parallel solver called UG, and an implementation of the branch-and-cut-and-price algorithm called GCG.

The SCIP Optimization suite is one of the fastest implementations whose source code is available. It is written in C, but also offers a C++ interface.

<= 03.11.2022:
  • SCIP is free for academic research and can be licensed for commercial use.
>= 04.11.2022:
  • SCIP (as well as SoPlex) is distributed under the Apache 2.0 license.
409 questions
0
votes
1 answer

OR-Tools / SCIP - How to use Indicator Constraints for MIP problems?

The MiniZinc site (https://www.minizinc.org/doc-2.5.5/en/solvers.html#indicator-constraints) states that the MIP SCIP solver supports indicator constraints. I have found the MPIndicatorConstraint documentation at…
epol
  • 1,022
  • 8
  • 18
0
votes
1 answer

Is there a way to statically compile libscip?

I have to build a MAPF Solver that is based on SCIP with CPLEX and I want to compile it statically, so that I don't need to install the set of libraries in the experimentation cluster. For this, I need to compile libscip statically, is there any way…
Roberto Asín
  • 1
0
votes
1 answer

Logical Constraints in SCIP PySCIPOpt

Please explain how logical constraints work in PySCIPOpt. I tried reading about model.addConsOr and model.addConsAnd but could not understand. An example would be highly appreciated.
Junaid Hasan
  • 1
0
votes
1 answer

Choosing Barrier for VRP

I'm solving the VRP with Scip and want to choose the algorithm. In some of my instances, Scip solves the problem without the branch-and-bound tree in the root node; here I think cutting planes are executed. Cplex for example can choose prim Simplex…
Jack
  • 11
  • 1
0
votes
1 answer

Filename-parsing logic in PySCIPOpt

What are the allowed extensions for the parameter filename in pyscipopt.Model.writeProblem(filename)? It works if filename='a'or filename='a.mps', but if e.g. filename='a.problem', then it fails with the error code: Exception: SCIP: a required…
Daniel Paleka
  • 161
  • 6
0
votes
1 answer

SCIP install on m1 mac

I am trying to install scip on my m1 Mac, running on python 3.7 I created a terminal that runs in x86_64, and was able to compile scip following these instructions: Compiling SCIP directly can be done as follows: unpack the tarball "tar xvzf…
chiennifer
  • 135
  • 6
0
votes
1 answer

Linking Scip with CPLEX or Gurobi

Is it possible to link CPLEX or Gurobi with the windows installer .exe of the scip optimization suite (Version 7.0.2)? Or do i have to build scip with cmake/make to configure an other LP solver? Is there any step-by-step installation guide i could…
Edwin
  • 1
0
votes
1 answer

Get all feasible solutions with SCIP

How do I get all feasible solutions with scip? I already know something through the web "https://www.scipopt.org/doc/html/COUNTER.php". But I've learned that I only get the solutions by detected. I can't get all solutions if the feasible solutions…
CHANGHUI LIN
  • 1
0
votes
2 answers

Installation of SCIP 7.0.2 with AMPL on Ubuntu Linux 20.04 for usage with Pyomo

I want to install the SCIP solver in version 7.0.2 on my Ubuntu Linux 20.04 machine to use in Pyomos SolverFactory following the instructions in this manual. But when I use make I get the following error: crd@crd-laptop:~/Downloads$ cd…
Cord Kaldemeyer
  • 6,405
  • 8
  • 51
  • 81
0
votes
2 answers

SCIP emit pre-solved output to file

Is it possible to emit SCIP pre-solved output to a .lp or .mps file? I am interested in using the presolver to generate a simplified MIP problem instance. This would allow me to test an alternate solver against some of the ones in SCIP such that I…
Mike Whalen
  • 1
  • 1
0
votes
2 answers

how to collect branching process data of scip provided branching rules at each node

what I want to do: I want to observe the process data of the scip provided branching rules (i.e. strang branch and relpscost) at each node, which includes LPSolution, branching depth, branching score, lower bound, and so on. Hence, I need to…
CCLDG
  • 3
  • 2
0
votes
1 answer

Constraint Handler for lazy constraints and Presolving

I'm using PySCIPOpt (SCIP version 6.0.2, PySCIPOpt version 2.2.3) to solve a mixed integer problem. A constraint handler should be checking and enforcing some of the requirements that are not modeled directly into the problem (lazy…
M. Kruber
  • 11
  • 3
0
votes
1 answer

GCG in ScipOptSuite-7.0.2: Linux self-extracting archive installation lets me start SCIP, but not GCG

I installed the latest ScipOptSuite (7.0.2) using the self-extracting archive (yes, after installing the required packages gcc g++ gfortran liblapack3 libtbb2 libcliquer1 libopenblas-dev libgsl23 as demanded at the SCIP download site) and if I…
Stefan Helber
  • 3
  • 1
0
votes
1 answer

How to prevent SCIP from doing restarts while solving MIPs

I ma trying to solve an MIP and I noticed that sometimes scip restarts the problem again but the restarting does nothing. It spends a bunch of time trying find cuts and it doesn't find any. The following is the message that comes before the restart…
Morpheus
  • 3,285
  • 4
  • 27
  • 57
0
votes
1 answer

why scip making an extra branching decision after calling SCIPincludeBranchRrule?

Now I want to do something on the branch and bound using SCIP, and begin from the branching rule. While I tracking the branching process I found something I cannot understand. Begining from getting the branching variable candidates using…
CCLDG
  • 3
  • 2
1 2 3
…
27 28