Optimization Solvers

Solving Constraint Integer Programs

  • Short Name: SCIP
  • Algorithm Type: Classical
  • Category: Classical
  • Native Input Format: LP
SCIP is currently one of the fastest solvers for mixed integer programming (MIP) and mixed integer nonlinear programming (MINLP). It allows for total control of the solution process and the access of detailed information down to the guts of the solver. Note: SCIP may introduce auxiliary variables during the solving process, e.g., the variable `quadobjvar` (see https://scipopt.org/doc/html/reader__lp_8c_source.php in line 1336). These variables will be stored in the solution metadata under the key `auxiliary_variables`.

Usage via LunaSolve

# Example of using SCIP using the Luna backend in LunaSolve
solution = ls.solution.create(
    optimization_id=optimization.id,
    solver_name="SCIP",
    provider="zib",
    solver_parameters={
    },
    qpu_tokens=None,
)

Usage via LunaBench

# Example of adding SCIP using the Luna backend as an algorithm to LunaBench
algorithms = {
    "SCIP": {
        "location": "cloud",
        "provider": "zib",
    },
}

Backends

This algorithm can be run on the following backends:

Luna

Luna provides powerful servers designed to run classical algorithms. These servers offer the computational capacity required to efficiently solve non-quantum tasks, ensuring high performance for optimization and other classical workloads.

Brute Force

  • Short Name: BF
  • Algorithm Type: Classical
  • Category: Classical
  • Native Input Format: BQM
The Brute Force Solver utilizes a conventional brute force approach to search through all possible solutions. The solver becomes very slow for problems with 18 or more variables.

Usage via LunaSolve

# Example of using BF using the Luna backend in LunaSolve
solution = ls.solution.create(
    optimization_id=optimization.id,
    solver_name="BF",
    provider="dwave",
    solver_parameters={
    },
    qpu_tokens=None,
)

Usage via LunaBench

# Example of adding BF using the Luna backend as an algorithm to LunaBench
algorithms = {
    "BF": {
        "location": "cloud",
        "provider": "dwave",
    },
}

Backends

This algorithm can be run on the following backends:

Luna

Brute Force temporarily unavailable on Luna
Luna provides powerful servers designed to run classical algorithms. These servers offer the computational capacity required to efficiently solve non-quantum tasks, ensuring high performance for optimization and other classical workloads.

Was this page helpful?