
SCIP
 Referenced in 536 articles
[sw01091]
 also a framework for constraint integer programming and branchcutandprice. 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, mixedinteger linear programming, quadratic...

YALMIP
 Referenced in 1033 articles
[sw04595]
 convex semidefinite programming, mixed integer programming, multiparametric 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 mixedinteger programming (MIPs), particular convex mixed...

MINTO
 Referenced in 135 articles
[sw04587]
 mixedinteger linear programs by a branchandbound 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 mixedinteger 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 mixedinteger programming (MIP) model is a very important 𝒩𝒫 ... divinglike procedure based on rounding and constraint propagationa 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 nonlinear finite integers...

LocalSolver
 Referenced in 16 articles
[sw04850]
 localsearch solver for general 01 programming. This software allows OR practitioners to focus ... blackbox treesearch 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 quadraticallyconstrained 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]
 multicriteria integer as well as multicriteria linear programs handling an arbitrary number ... official part of the noncommercial constraint integer programming framework SCIP. It utilizes a lifted...