-
MINTO
- Referenced in 130 articles
[sw04587]
- also provides automatic constraint classification, preprocessing, primal heuristics and constraint generation. Moreover, the user...
-
ABACUS
- Referenced in 112 articles
[sw02948]
- cutting planes, column generation, and primal heuristics. ABACUS supports the Open Solver Interface (Osi) developed...
-
FilMINT
- Referenced in 42 articles
[sw06197]
- easily employ cutting planes, primal heuristics, and other well-known MILP enhancements for MINLPs...
-
bc-prod
- Referenced in 36 articles
[sw10663]
- planes, and a lot-sizing-specific primal heuristic. Results are presented for a wide variety...
-
BaPCod
- Referenced in 8 articles
[sw09871]
- user on the original variables; default primal heuristics and preprocessing features are under developments...
-
BARON
- Referenced in 262 articles
[sw00066]
- BARON is a computational system for solving nonconvex...
-
BoomerAMG
- Referenced in 124 articles
[sw00086]
- BoomerAMG: A parallel algebraic multigrid solver and preconditioner...
-
GAP
- Referenced in 2336 articles
[sw00320]
- GAP is a system for computational discrete algebra...
-
HSL
- Referenced in 218 articles
[sw00418]
- HSL (formerly the Harwell Subroutine Library) is a...
-
KNITRO
- Referenced in 141 articles
[sw00490]
- KNITRO is a solver for nonlinear optimization. It...
-
LSQR
- Referenced in 299 articles
[sw00530]
- Algorithm 583: LSQR: Sparse Linear Equations and Least...
-
Magma
- Referenced in 2262 articles
[sw00540]
- Computer algebra system (CAS). Magma is a large...
-
Maple
- Referenced in 4374 articles
[sw00545]
- The result of over 30 years of cutting...
-
Mathematica
- Referenced in 4959 articles
[sw00554]
- Almost any workflow involves computing results, and that...
-
Matlab
- Referenced in 9507 articles
[sw00558]
- MATLAB® is a high-level language and interactive...
-
PARI/GP
- Referenced in 461 articles
[sw00680]
- PARI/GP is a widely used Computer Algebra System...
-
QAPLIB
- Referenced in 200 articles
[sw00751]
- A collection of electronically available data instances for...
-
R
- Referenced in 5945 articles
[sw00771]
- R is a language and environment for statistical...
-
SageMath
- Referenced in 1198 articles
[sw00825]
- Sage (SageMath) is free, open-source math software...