• Gurobi

  • Referenced in 533 articles [sw04105]
  • constrained programming solver (QCP), mixed-integer linear programming solver (MILP), mixed-integer quadratic programming solver...
  • FilMINT

  • Referenced in 44 articles [sw06197]
  • solution of a master mixed-integer linear program (MILP) by adding new linearizations at open...
  • Rglpk

  • Referenced in 9 articles [sw15916]
  • large-scale linear programming (LP), mixed integer linear programming (MILP) and other related problems...
  • quadprogIP

  • Referenced in 4 articles [sw36327]
  • quadratic program (QP) as a mixed-integer linear programming (MILP) problem by first reformulating...
  • Couenne

  • Referenced in 64 articles [sw04347]
  • naturally formulated using mixed integer non-linear programming (MINLP) models and can be solved ... extend a branching technique originally developed for MILP, reliability branching, to the MINLP case. Motivated...
  • lpSolveAPI

  • Referenced in 3 articles [sw20027]
  • Mixed Integer Linear Programming (MILP) solver with support for pure linear, (mixed) integer/binary, semi-continuous...
  • Sage S-box MILP toolkit

  • Referenced in 2 articles [sw24163]
  • Counting Active S-boxes using Mixed-Integer Linear Programming (MILP). This toolkit can be used ... Mixed-Integer Linear Programming problem which counts the minimum number of (linearly or differentially) active ... given cipher and solves this using a MILP solver in Sage. The toolkit includes...
  • ooMILP

  • Referenced in 1 article [sw00652]
  • solution of large, sparse mixed integer linear programming (MILP) problems without the disadvantages of many ... construction and solution of Mixed Integer Linear Programming (MILP) problems. We then demonstrate how this...
  • pycombina

  • Referenced in 1 article [sw38177]
  • problem, which is a Mixed-Integer Linear Program (MILP) that can be solved either approximately...
  • Bel-T

  • Referenced in 1 article [sw29704]
  • integral characteristics by employing a mixed integer linear programming (MILP) (Our open source code...
  • FISHtrees

  • Referenced in 1 article [sw29659]
  • tree building method based on mixed integer linear programming (MILP). The ploidy-based modeling...
  • APMonitor

  • Referenced in 5 articles [sw19694]
  • solvers for linear, quadratic, nonlinear, and mixed integer programming (LP, QP, NLP, MILP, MINLP). Modes...
  • GEKKO

  • Referenced in 1 article [sw38459]
  • solvers for linear, quadratic, nonlinear, and mixed integer programming (LP, QP, NLP, MILP, MINLP). Modes...
  • VIPR

  • Referenced in 3 articles [sw18034]
  • Integer Programming Results”: Software for mixed-integer linear programming can return incorrect results ... that employ exact arithmetic may suffer from programming or algorithmic errors, motivating the desire ... complex nature of state-of-the-art MILP solution algorithms, the ideal form of such ... results on a selection of mixed-integer linear programming instances from the literature. To this...
  • BonsaiG

  • Referenced in 1 article [sw05024]
  • source distribution for bonsaiG, a mixed-integer linear programming code, last updated November ... COIN-OR project, which has its own MILP solver, cbc. Unless you have some compelling...
  • Ecole

  • Referenced in 1 article [sw38101]
  • Ecole: A Library for Learning Inside MILP Solvers. In this paper we describe Ecole (Extensible ... state-of-the-art a mixed-integer linear programming solver that acts as a controllable...
  • Alpine.jl

  • Referenced in 1 article [sw34677]
  • convex relaxations for mixed-integer nonlinear programs (MINLP) with multi-linear terms. In the first ... stage, we exploit Constraint Programing techniques to contract the variable bounds. We apply feasibility-based ... domains of variables appearing in multi-linear terms (predominantly common in the literature), we construct ... around the current solution of lower-bounding MILP). This approach decouples the number of partitions...
  • BARON

  • Referenced in 324 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • GAP

  • Referenced in 2948 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Matlab

  • Referenced in 12477 articles [sw00558]
  • MATLAB® is a high-level language and interactive...