• MiniSat

• Referenced in 566 articles [sw00577]
• solver. MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers...

• Couenne

• Referenced in 68 articles [sw04347]
• case. Motivated by the demand for open-source solvers for real-world MINLP problems...

• COCONUT

• Referenced in 40 articles [sw04760]
• modular solver environment for nonlinear continuous global optimization problems with an open-source kernel, which ... expanded by commercial and open-source solver components (inference engines). The first test version ... Foundation. The full source of the current development version including the solvers, the strategy engine ... model representation. It is a collection of open-source C++ classes protected by the LGPL...

• SDPB

• Referenced in 104 articles [sw23927]
• introduce SDPB: an open-source, parallelized, arbitrary-precision semidefinite program solver, designed for the conformal...

• DualSPHysics

• Referenced in 61 articles [sw17653]
• DualSPHysics: Open-source parallel CFD solver based on smoothed particle hydrodynamics (SPH). DualSPHysics ... surface flow problems. DualSPHysics is an open-source code developed and released under the terms...

• Open-WBO

• Referenced in 28 articles [sw10045]
• MaxSAT solver. open-wbo has two main features. First, it is an open-source solver ... extended. Most MaxSAT solvers are not available in open-source, making it hard to extend ... open-wbo may use any MiniSAT-like solver as the underlying SAT solver. As many...

• preCICE

• Referenced in 27 articles [sw08713]
• Partitioned means that preCICE couples existing programs (solvers) capable of simulating a subpart ... adapters for well-known commercial and open-source solvers, such as OpenFOAM, deal.II, FEniCS...

• CLP

• Referenced in 39 articles [sw05089]
• linear programming) is an open-source linear programming solver written in C++. It is primarily...

• OpenSMT

• Referenced in 28 articles [sw08426]
• OpenSMT, an incremental, efficient, and open-source SMT-solver. OpenSMT has been specifically designed...

• Cbc

• Referenced in 39 articles [sw04440]
• open-source mixed integer programming solver written in C++. It can be used...

• dReal

• Referenced in 30 articles [sw07157]
• reals. We describe the open-source tool dReal, an SMT solver for nonlinear formulas over...

• veriT

• Referenced in 30 articles [sw07281]
• satisfiability modulo theory (SMT) solver veriT. It is open-source, proof-producing, and complete...

• RBFOpt

• Referenced in 8 articles [sw28416]
• from the literature: it outperforms the open-source solvers included in our comparison...

• tawSolver

• Referenced in 12 articles [sw10844]
• Especially we introduce a novel (open-source) SAT solver, the tawSolver, which performs best...

• HOS-ocean

• Referenced in 6 articles [sw22136]
• ocean: open-source solver for nonlinear waves in open ocean based on high-order spectral ... nonlinear wavefields in open ocean. HOS-ocean is released as open-source, developed and distributed...

• LMHS

• Referenced in 12 articles [sw16738]
• hybrid maxsat solver. We describe LMHS, an open-source weighted partial maximum satisfiability (MaxSAT) solver...

• PSP

• Referenced in 33 articles [sw07589]
• relative to using black-box sparse-direct solvers for the auxiliary problems, and competitive runtimes ... distributed over thousands of cores. Two open-source packages are released along with this paper ... preconditioner (PSP) and the underlying distributed multifrontal solver, clique...

• clique

• Referenced in 33 articles [sw07590]
• relative to using black-box sparse-direct solvers for the auxiliary problems, and competitive runtimes ... distributed over thousands of cores. Two open-source packages are released along with this paper ... preconditioner (PSP) and the underlying distributed multifrontal solver, clique...

• Juniper

• Referenced in 4 articles [sw26689]
• Juniper: an open-source nonlinear branch-and-bound solver in Julia. Nonconvex mixed-integer nonlinear ... proposes {sc Juniper}, a Julia-based open-source solver for nonlinear branch-and-bound. Leveraging...

• SediFoam

• Referenced in 3 articles [sw25504]
• SediFoam: A general-purpose, open-source CFD-DEM solver for particle-laden flow with emphasis ... solvers are applied in chemical engineering and mining industry. However, a robust CFD-DEM solver ... three-dimensional, massively parallel, and open-source CFD-DEM solver SediFoam is detailed. This solver is built based on open...