• SCIP

  • Referenced in 536 articles [sw01091]
  • also a framework for constraint integer programming and branch-cut-and-price. It allows...
  • MIPLIB

  • Referenced in 328 articles [sw04067]
  • mixed integer (linear) program (mip) is an optimization problem in which a linear objective function ... linear constraints over real- and integervalued variables. For details on mixed integer programming...
  • Optimization Toolbox

  • Referenced in 305 articles [sw10828]
  • Optimization Toolbox Product Description: Solve linear, quadratic, integer, and nonlinear optimization problems. Optimization Toolbox™ provides ... while satisfying constraints. The toolbox includes solvers for linear programming, mixed-integer linear programming, quadratic...
  • YALMIP

  • Referenced in 1033 articles [sw04595]
  • convex semidefinite programming, mixed integer programming, multi-parametric programming, geometric programming The main features ... started. Easy to use : you define your constraints and objective functions using intuitive and standard...
  • KNITRO

  • Referenced in 196 articles [sw00490]
  • problems with complementarity constraints (MPCCs or MPECs), and mixed-integer programming (MIPs), particular convex mixed...
  • MINTO

  • Referenced in 135 articles [sw04587]
  • mixed-integer linear programs by a branch-and-bound algorithm with linear programming relaxations ... also provides automatic constraint classification, preprocessing, primal heuristics and constraint generation. Moreover, the user ... when used as a general purpose mixed-integer optimizer, MINTO attempts to: improve the formulation ... size of the linear programs by managing active constraints. To be as flexible and powerful...
  • ParaSCIP

  • Referenced in 30 articles [sw06292]
  • Parallel Extension of SCIP. Mixed integer programming (MIP)has become one of the most important ... Research and Discrete Optimization. SCIP (Solving Constraint Integer Programs) is currently one of the fastest...
  • FEASPUMP

  • Referenced in 133 articles [sw04802]
  • feasible solution of a given mixed-integer programming (MIP) model is a very important 𝒩𝒫 ... diving-like procedure based on rounding and constraint propagation-a basic ... tool in Constraint Programming. Extensive computational results on binary and general integer MIPs from...
  • FiberSCIP

  • Referenced in 8 articles [sw06291]
  • parallel extensions of SCIP. SCIP (Solving Constraint Integer Programs), a framework for Constraint Integer Programming ... parallelization of SCIP (Solving Constraint Integer Programs), which is a MIP solver and constraint integer...
  • Clingcon

  • Referenced in 39 articles [sw09892]
  • Answer Set Programming (ASP) with constraint solving. Constraints over non-linear finite integers...
  • LocalSolver

  • Referenced in 16 articles [sw04850]
  • local-search solver for general 0-1 programming. This software allows OR practitioners to focus ... black-box tree-search solvers (integer or constraint programming). Having outlined the modeling formalism...
  • 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...
  • Gecode

  • Referenced in 82 articles [sw06272]
  • search engines. New variable domains can be programmed at the same level of efficiency ... integers, Booleans, sets, and floats (it implements more than 70 constraints from the Global Constraint ... users to focus on different modeling and programming tasks with Gecode. free Gecode is distributed...
  • GOBNILP

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

  • Referenced in 17 articles [sw09908]
  • OscaR are: Constraint Programming; Constrained Based Local Search; Linear (Integer) Programming; Discrete Event Simulation; Derivative...
  • ECOS

  • Referenced in 58 articles [sw12123]
  • cone constraints (SOCPs). This includes linear (LPs), quadratic (QPs), and quadratically-constrained quadratic programs (QCQPs ... supports a small number of binary or integer variables by employing a simple branch...
  • Pyomo

  • Referenced in 66 articles [sw04910]
  • language. Python is a powerful and dynamic programming language that has a very clear, readable ... formulate algebraic expressions that define objectives and constraints. Moreover, Pyomo can be used from ... tutorial on simple linear and integer programming models. Information needed to install and get started...
  • GRAPPA

  • Referenced in 12 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 ... generates an integer linear program with a carefully limited number of constraints, rapidly solves...
  • WinGULF

  • Referenced in 20 articles [sw19224]
  • information here. In the case of integer programming problems the package can assist ... current bound, branching variables and appropriate branching constraints. See more detailed information here ... program are capable of handling up to 1000 main constraints and 1000 nonnegative variables ... variables may be integer). Data can be entered in a spreadsheet styled editor within WinGULF...
  • PolySCIP

  • Referenced in 2 articles [sw15158]
  • multi-criteria integer as well as multi-criteria linear programs handling an arbitrary number ... official part of the non-commercial constraint integer programming framework SCIP. It utilizes a lifted...