
FilMINT
 Referenced in 42 articles
[sw06197]
 approximationbased solver for convex mixedinteger nonlinear programs. We describe a new solver ... convex mixedinteger nonlinear programs (MINLPs) that implements a linearizationbased algorithm. The solver ... solution of a master mixedinteger linear program (MILP) by adding new linearizations at open ... branchandbound tree whenever an integer solution is found. The new solver, FilMINT, combines...

DICOPT
 Referenced in 30 articles
[sw04938]
 program for solving mixedinteger nonlinear programming (MINLP) problems that involve linear binary or integer ... maturity and reliability as linear, integer or nonlinear programming modeling, these problems have ... Nonlinear Programming) or MIP (MixedInteger Programming) solver that runs under GAMS...

z3
 Referenced in 415 articles
[sw04887]
 Microsoft Research.Z3 supports linear real and integer arithmetic, fixedsize bitvectors, extensional arrays, uninterpreted ... integrated with a number of program analysis, testing, and verification tools from Microsoft Research. These...

GloMIQO
 Referenced in 55 articles
[sw06266]
 Globally optimizing mixedinteger quadraticallyconstrained quadratic programs. Major applications of mixedinteger quadraticallyconstrained...

bcprod
 Referenced in 37 articles
[sw10663]
 formulate his/her problem as a mixed integer program using XPRESSMP’s mpmodel...

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

DDSIP
 Referenced in 36 articles
[sw05103]
 decomposition in twostage stochastic mixedinteger programming, needs CPLEX...

lpSolve
 Referenced in 35 articles
[sw04106]
 solving linear, integer and mixed integer programs. In this implementation we supply a ”wrapper” function...

OPERA
 Referenced in 28 articles
[sw03200]
 linear programming (LP), network programming (NP), integer programming (IP) and dynamic programming (DP). OPERA...

DAKOTA
 Referenced in 50 articles
[sw05202]
 such as surrogatebased optimization, mixed integer nonlinear programming, or optimization under uncertainty. By employing...

ANTIGONE
 Referenced in 51 articles
[sw09241]
 mixedinteger quadraticallyconstrained quadratic program and mixedinteger signomial optimization computational frameworks. To demonstrate...

Pyomo
 Referenced in 29 articles
[sw04910]
 language. Python is a powerful and dynamic programming language that has a very clear, readable ... tutorial on simple linear and integer programming models. Information needed to install and get started...

QSopt_ex
 Referenced in 23 articles
[sw04722]
 solver for Linear Programming (and Integer Programming to a lesser degree) that returns true (rational...

MINLP
 Referenced in 43 articles
[sw04800]
 information about all aspects of Mixed Integer Nonlinear Programming (MINLP): http://www.gamsworld.org/minlp/solvers.htm...

Cbc
 Referenced in 28 articles
[sw04440]
 opensource mixed integer programming solver written in C++. It can be used...

PipLib
 Referenced in 19 articles
[sw23763]
 PIP/Piplib, a parametric integer linear programming solver. PIP/PipLib is the well known Paul Feautrier ... parametric integer linear programming solver. PIP is a software that finds the lexicographic minimum ... maximum) in the set of integer points belonging to a convex polyhedron ... very big difference with well known integer programming tools like lp_solve or CPLEX...

GRIN
 Referenced in 25 articles
[sw08940]
 implementation of Gröbner bases for integer programming. this paper we present a computer program (GRIN...

PICO
 Referenced in 24 articles
[sw02252]
 branchandbound method for mixed integer programming, along with computational results on the ASCI...

Why3
 Referenced in 113 articles
[sw04438]
 provides a rich language for specification and programming, called WhyML, and relies on external theorem ... theories (integer and real arithmetic, Boolean operations, sets and maps, etc.) and basic programming data...

Couenne
 Referenced in 54 articles
[sw04347]
 naturally formulated using mixed integer nonlinear programming (MINLP) models and can be solved...