• 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...