All Projects → osqp → miosqp

osqp / miosqp

Licence: Apache-2.0 license
MIQP solver based on OSQP

Programming Languages

python
139335 projects - #7 most used programming language

Projects that are alternatives of or similar to miosqp

pybnb
A parallel branch-and-bound engine for Python. (https://pybnb.readthedocs.io/)
Stars: ✭ 53 (-28.38%)
Mutual labels:  branch-and-bound
Optaplanner
AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.
Stars: ✭ 2,454 (+3216.22%)
Mutual labels:  branch-and-bound
skyline-query
Simple implementation of spatial skyline query algorithms
Stars: ✭ 17 (-77.03%)
Mutual labels:  branch-and-bound

Mixed-Integer Quadratic Program Solver Based on OSQP

miOSQP solves an mixed-integer quadratic programs (MIQPs) of the form

minimize        0.5 x' P x + q' x

subject to      l <= A x <= u
                x[i] in Z for i in i_idx
                i_l[i] <= x[i] <= i_u[i] for i in i_idx

where i_idx is a vector of indices of which variables are integer and i_l, i_u are the lower and upper bounds on the integer variables respectively.

Installation

To install the package simply run

python setup.py install

it depends on OSQP, numpy and scipy.

Usage

To solve a MIQP we need to run

import miosqp
m = miosqp.MIOSQP()
m.setup(P, q, A, l, u, i_idx, i_l, i_u)
results = m.solve()

where P is a symmetric positive semidefinite matrix and A a matrix. P and A are both in the scipy sparse CSC format.

The returned object results contains

  • x: the solution
  • upper_glob: the cost function upper bound
  • run_time: the solution time
  • status: the status
  • osqp_solve_time: the OSQP solve time as a percentage of the total solution time
  • osqp_iter_avg: the OSQP average number of iterations for each QP sub-problem solution

Update problem vectors

Problem vectors can be updated without running the setup again. It can be done with

m.update_vectors(q=q_new, l=l_new, u=u_new)

Set initial solution guess

The initial guess can speedup the branch-and-bound algorithm significantly. To set an initial feasible solution x0 we can run

m.set_x0(x0)

Citing

If you are using this package for your work, please cite the following paper:

@inproceedings{stellato2018,
  author = {Stellato, B. and Naik, V. V. and Bemporad, A. and Goulart, P. and Boyd, S.},
  title = {Embedded Mixed-Integer Quadratic Optimization Using the {OSQP} Solver},
  booktitle = {European Control Conference ({ECC})},
  year = {2018},
  code = {https://github.com/oxfordcontrol/miosqp},
  month = jul,
  groups = {power electronics, integer programs}
}

Run examples

In order to run the examples from to compare with GUROBI, after installing the python insterface, you need to install mathprogbasepy. Examples can be found in the examples folder.

  • Random MIQPs
  • Power system example

Note that you need pandas package for storing the results dataframe and tqdm package for the progress bar.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].