• MIRPLib

  • Referenced in 16 articles [sw11220]
  • cast as a mixed-integer linear program. This formulation is quite general and incorporates assumptions ... MIRPs; (2) provide the mixed-integer linear programming community with a set of optimization problem...
  • AlphaECP

  • Referenced in 45 articles [sw04940]
  • GAMS/AlphaECP is a MINLP (Mixed-Integer Non-Linear Programming) solver based on the extended cutting ... solved to feasibility or only to an integer relaxed solution in intermediate iterations. This makes...
  • DIP

  • Referenced in 18 articles [sw09870]
  • Decomposition for Integer Programming) is an open-source extensible software framework for implementing decomposition-based ... below links. M. Galati, ​Decomposition in Integer Linear Programming, Doctoral Dissertation, Lehigh University, December ... Ralphs and M. Galati, ​Decomposition in Integer Programming, in ​Integer Programming: Theory and Practice, John...
  • QSopt_ex

  • Referenced in 27 articles [sw04722]
  • provide a solver for Linear Programming (and Integer Programming to a lesser degree) that returns...
  • SBB

  • Referenced in 16 articles [sw06250]
  • GAMS solver for Mixed Integer Nonlinear Programming (MINLP) models. It is based on a combination ... Bound method known from Mixed Integer Linear Programming and some of the standard NLP solvers...
  • OscaR

  • Referenced in 14 articles [sw09908]
  • Constraint Programming; Constrained Based Local Search; Linear (Integer) Programming; Discrete Event Simulation; Derivative Free Optimization...
  • SCIL

  • Referenced in 10 articles [sw01099]
  • SCIL -- symbolic constraints in integer linear programming We describe a new software system SCIL that ... price algorithms for integer linear programs. Symbolic constraints are known from constraint programming and contribute...
  • Clingcon

  • Referenced in 36 articles [sw09892]
  • over non-linear finite integers can be used in the logic programs. The primary clingcon...
  • Zimpl

  • Referenced in 32 articles [sw04064]
  • ZIMPL: Zuse Institut Mathematical Programming Language. Zimpl is a little language to translate the mathematical ... problem into a linear or nonlinear (mixed-) integer mathematical program expressed...
  • KNITRO

  • Referenced in 175 articles [sw00490]
  • hundred thousands. It is effective for solving linear, quadratic, and nonlinear smooth optimization problems, both ... constraints (MPCCs or MPECs), and mixed-integer programming (MIPs), particular convex mixed integer, nonlinear problems...
  • OPERA

  • Referenced in 29 articles [sw03200]
  • Included are routines for linear programming (LP), network programming (NP), integer programming (IP) and dynamic ... Matlab for research and teaching in optimization. Linear programs are solved either by direct call...
  • GRAPPA

  • Referenced in 11 articles [sw17255]
  • Linear programming for phylogenetic reconstruction based on gene rearrangements. Phylogenetic reconstruction from gene rearrangements ... given tree, using a set of linear constraints generated through selective applications of the triangle ... GESTALT). Our method generates an integer linear program with a carefully limited number of constraints...
  • FiberSCIP

  • Referenced in 8 articles [sw06291]
  • solver and constraint integer programming framework available in source code. There is a parallel extension ... performance of FiberSCIP for solving mixed-integer linear programs (MIPs) and mixed-integer non-linear...
  • Rglpk

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

  • Referenced in 22 articles [sw06199]
  • sparse or dense mixed-integer linear, quadratic and nonlinear programming problems...
  • LPbook

  • Referenced in 49 articles [sw31782]
  • convex analysis, network flows, integer programming, quadratic programming, and convex optimization. The book is carefully ... book is coordinated with free efficient C programs that implement the major algorithms studied ... variants of the simplex method, both for linear programming and for network flows. These...
  • SHOT

  • Referenced in 8 articles [sw15630]
  • deterministic algorithm for solving convex mixed-integer nonlinear programming (MINLP) problems is presented in this ... defined by linear and nonlinear constraints. A sequence of linear or quadratic integer-relaxed subproblems ... algorithm solves a sequence of mixed-integer linear programming or mixed-integer quadratic programming subproblems...
  • VIPR

  • Referenced in 3 articles [sw18034]
  • VIPR. Verifying Integer Programming Results. VIPR is new a software project to verify, in exact ... correctness of results computed by mixed-integer linear programming solvers. It is based ... Integer Programming Results”: Software for mixed-integer linear programming can return incorrect results ... results on a selection of mixed-integer linear programming instances from the literature. To this...
  • GOBNILP

  • Referenced in 5 articles [sw29883]
  • Globally Optimal Bayesian Network learning using Integer Linear Programming) is a C program which learns ... GOBNILP uses the SCIP framework for Constraint Integer Programming...
  • quadprogIP

  • Referenced in 3 articles [sw36327]
  • Globally solving nonconvex quadratic programs via linear integer programming techniques . We reformulate a (indefinite) quadratic ... program (QP) as a mixed-integer linear programming (MILP) problem by first reformulating...