• MINTO

• Referenced in 132 articles [sw04587]
• also provides automatic constraint classification, preprocessing, primal heuristics and constraint generation. Moreover, the user...

• ABACUS

• Referenced in 115 articles [sw02948]
• cutting planes, column generation, and primal heuristics. ABACUS supports the Open Solver Interface (Osi) developed...

• FilMINT

• Referenced in 43 articles [sw06197]
• easily employ cutting planes, primal heuristics, and other well-known MILP enhancements for MINLPs...

• bc-prod

• Referenced in 42 articles [sw10663]
• planes, and a lot-sizing-specific primal heuristic. Results are presented for a wide variety...

• BaPCod

• Referenced in 15 articles [sw09871]
• user on the original variables; default primal heuristics and preprocessing features are under developments...

• SCIP-SDP

• Referenced in 10 articles [sw15618]
• provides data handling procedures, presolve routines, primal heuristics, a dual fixing method, and an linear...

• BARON

• Referenced in 308 articles [sw00066]
• BARON is a computational system for solving nonconvex...

• BoomerAMG

• Referenced in 156 articles [sw00086]
• BoomerAMG: A parallel algebraic multigrid solver and preconditioner...

• CGAL

• Referenced in 350 articles [sw00118]
• The goal of the CGAL Open Source Project...

• GAP

• Referenced in 2829 articles [sw00320]
• GAP is a system for computational discrete algebra...

• HSL

• Referenced in 268 articles [sw00418]
• HSL (formerly the Harwell Subroutine Library) is a...

• KNITRO

• Referenced in 173 articles [sw00490]
• KNITRO is a solver for nonlinear optimization. It...

• LiDIA

• Referenced in 52 articles [sw00518]
• LiDIA: A library for computational number theory. LiDIA...

• LSQR

• Referenced in 354 articles [sw00530]
• Algorithm 583: LSQR: Sparse Linear Equations and Least...

• Magma

• Referenced in 2825 articles [sw00540]
• Computer algebra system (CAS). Magma is a large...

• Maple

• Referenced in 5020 articles [sw00545]
• The result of over 30 years of cutting...

• Mathematica

• Referenced in 5857 articles [sw00554]
• Almost any workflow involves computing results, and that...

• Matlab

• Referenced in 11969 articles [sw00558]
• MATLAB® is a high-level language and interactive...

• PARI/GP

• Referenced in 578 articles [sw00680]
• PARI/GP is a widely used Computer Algebra System...

• QAPLIB

• Referenced in 216 articles [sw00751]
• A collection of electronically available data instances for...