• MINTO

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

• ABACUS

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

• FilMINT

• Referenced in 51 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 19 articles [sw09871]
• user on the original variables; default primal heuristics and preprocessing features are under developments...

• SCIP-SDP

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

• GALINI

• Referenced in 1 article [sw38738]
• galini cut loop and 2) a primal heuristic plug-in that uses the mixed-integer...

• QuickMatch

• Referenced in 5 articles [sw41111]
• Kuhn’s primal dual algorithm. However, we have added several natural heuristics that speed...

• BARON

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

• BoomerAMG

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

• CGAL

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

• GAP

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

• gmp

• Referenced in 282 articles [sw00363]
• GMP is a free library for arbitrary precision...

• HSL

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

• KNITRO

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

• LiDIA

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

• LSQR

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

• Magma

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

• Maple

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

• Mathematica

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