• MiniSat

  • Referenced in 520 articles [sw00577]
  • extensible SAT-solver. MiniSat is a minimalistic, open-source SAT solver, developed to help researchers ... developers alike to get started on SAT. It is released under the MIT licence ... related to MiniSat, including the Pseudo-boolean solver MiniSat+ and the CNF minimizer/preprocessor SatELite. Together ... crafted” categories of the SAT 2005 competition...
  • Chaff

  • Referenced in 561 articles [sw06916]
  • Chaff:engineering an efficient SAT solver. Boolean Satisfiability is probably the most studied of combinatorial ... culminated in the development of several SAT packages, both proprietary and in the public domain ... both research and industry. Most existing complete solvers are variants of the Davis-Putnam ... performance improvement on difficult SAT benchmarks in comparison with other solvers (DP or otherwise), including...
  • NuSMV

  • Referenced in 288 articles [sw04131]
  • connected to the Minisat SAT Solver and/or to the ZChaff SAT Solver. The University ... state-of-the-art SAT solver used until version 2.5.0, and the RBC package...
  • ASSAT

  • Referenced in 168 articles [sw02524]
  • ASSAT (Answer Sets by SAT solvers) is a system for computing answer sets ... logic program by using SAT solvers. Briefly speaking, given a ground logic program P, ASSAT ... depending on the SAT solver X used, works as follows: Computes the completion...
  • BerkMin

  • Referenced in 158 articles [sw06917]
  • BerkMin: A fast and robust SAT-solver. We describe a SAT-solver, BerkMin, that inherits ... Chaff, the leader among resolution-based SAT-solvers. Experiments show that our program is more...
  • clasp

  • Referenced in 90 articles [sw07095]
  • download page. clasp is an answer set solver for (extended) normal logic programs. It combines ... successful for satisfiability checking (SAT). Unlike other learning ASP solvers, clasp does not rely ... legacy software, such as a SAT solver or any other existing ASP solver. Rather, clasp ... output by Gringo), as a SAT solver (on a simplified version of DIMACS/CNF format...
  • PicoSAT

  • Referenced in 78 articles [sw07092]
  • watching literals. Experiments with our SAT solver PicoSAT show that this low-level optimization ... turns out to speed up the SAT solver considerably. We also discuss how to store...
  • Cmodels

  • Referenced in 66 articles [sw04435]
  • rules. Answer set solver Cmodels uses SAT solvers as a search engine for enumerating models ... solutions, in case of disjunctive programs SAT solver zChaff is also used for verifying ... program can be enumerated by a SAT solver. On the other hand for nontight programs...
  • SATzilla

  • Referenced in 84 articles [sw06281]
  • that there is no single ”dominant” SAT solver; instead, different solvers perform best on different ... traditional approach of choosing the best solver for a given class of instances, we advocate ... SAT that use so-called empirical hardness models to choose among their constituent solvers. This ... verified in the 2007 SAT Competition, where our SATzilla07 solvers won three gold, one silver...
  • CCalc

  • Referenced in 75 articles [sw09899]
  • using answer set solvers instead of SAT solvers...
  • Sat4j

  • Referenced in 70 articles [sw07283]
  • solve those problems (a SAT solver in Java is about 3.25 times slower than...
  • Yices

  • Referenced in 135 articles [sw04436]
  • Yices is an efficient SMT solver that decides the satisfiability of arbitrary formulas containing uninterpreted ... competitive as an ordinary SAT and MaxSAT solver...
  • SATLIB

  • Referenced in 57 articles [sw02107]
  • benchmark problems, solvers, and tools we are using for our own SAT related research ... provide a uniform test-bed for SAT solvers as well as a site for collecting...
  • ManySAT

  • Referenced in 29 articles [sw00544]
  • ManySAT: a parallel SAT solver. ManySAT, a new portfolio-based parallel SAT solver, is thoroughly ... from the main weaknesses of modern SAT solvers: their sensitivity to parameter tuning and their ... contrasts with most of the parallel SAT solvers generally designed using the divide-and-conquer...
  • MiniMaxSat

  • Referenced in 34 articles [sw09732]
  • MiniMaxSat: A New Weighted Max-SAT Solver. n this paper we introduce MiniMaxSat ... SAT solver that incorporates the best SAT and Max-SAT techniques. It can handle hard...
  • Satallax

  • Referenced in 48 articles [sw06849]
  • with extensionality and choice operators. The SAT solver MiniSat is responsible for much...
  • iProver

  • Referenced in 47 articles [sw09707]
  • particular, any state-of-the art SAT solver can be integrated into our framework. iProver...
  • MathSAT5

  • Referenced in 44 articles [sw09569]
  • mathsat5 SMT solver. MathSAT is a long-term project, which has been jointly carried ... arrays and floating point; third, sound SAT-style Boolean formula preprocessing for SMT formulae; finally ... users for plugging their custom tuned SAT solvers. MathSAT5 is freely available...
  • Glucose

  • Referenced in 36 articles [sw07833]
  • Glucose SAT Solver. Glucose is based on a new scoring scheme (well ... clause learning mechanism of so called ”Modern” SAT sovlers (it is based our IJCAI ... competition 09 version of glucose. Solver’s name is a contraction of the concept...