• MiniSat

  • Referenced in 584 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 ... crafted” categories of the SAT 2005 competition...
  • Chaff

  • Referenced in 591 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 ... orders of magnitude performance improvement on difficult SAT benchmarks in comparison with other solvers...
  • HOL

  • Referenced in 594 articles [sw05492]
  • gives access to external programs such as SAT and BDD engines. HOL 4 is particularly...
  • NuSMV

  • Referenced in 314 articles [sw04131]
  • Fabio Somenzi at Colorado University and SAT-based model checking component that includes ... which can be connected to the Minisat SAT Solver and/or to the ZChaff SAT Solver ... contributed SIM, a state-of-the-art SAT solver used until version...
  • ASSAT

  • Referenced in 176 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 161 articles [sw06917]
  • BerkMin: A fast and robust SAT-solver. We describe a SAT-solver, BerkMin, that inherits ... with Chaff, the leader among resolution-based SAT-solvers. Experiments show that our program...
  • SMT-LIB

  • Referenced in 200 articles [sw04103]
  • SATLIB library has done initially for SAT...
  • SATO

  • Referenced in 197 articles [sw04451]
  • major practical methods for the satisfiability (SAT) problem of propositional logic. In the last decade...
  • SATzilla

  • Referenced in 100 articles [sw06281]
  • SATzilla: portfolio-based algorithm selection for SAT. It has been widely observed that there ... single ”dominant” SAT solver; instead, different solvers perform best on different instances. Rather than following ... constructing per-instance algorithm portfolios for SAT that use so-called empirical hardness models ... SATzilla was independently verified in the 2007 SAT Competition, where our SATzilla07 solvers won three...
  • clasp

  • Referenced in 105 articles [sw07095]
  • that proved very successful for satisfiability checking (SAT). Unlike other learning ASP solvers, clasp does ... rely on legacy software, such as a SAT solver or any other existing ASP solver ... format, as output by Gringo), as a SAT solver (on a simplified version of DIMACS/CNF...
  • Yices

  • Referenced in 158 articles [sw04436]
  • cores) and is competitive as an ordinary SAT and MaxSAT solver...
  • PicoSAT

  • Referenced in 89 articles [sw07092]
  • structures for watching literals. Experiments with our SAT solver PicoSAT show that this low-level ... also turns out to speed up the SAT solver considerably. We also discuss...
  • Sat4j

  • Referenced in 87 articles [sw07283]
  • satisfaction and optimization problems. It can solve SAT, MAXSAT, Pseudo-Boolean, Minimally Unsatisfiable Subset ... fastest one to solve those problems (a SAT solver in Java is about 3.25 times...
  • Cmodels

  • Referenced in 72 articles [sw04435]
  • choice rules. Answer set solver Cmodels uses SAT solvers as a search engine for enumerating ... possible 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...
  • SATLIB

  • Referenced in 59 articles [sw02107]
  • tools we are using for our own SAT related research. One strong motivation for creating ... provide a uniform test-bed for SAT solvers as well as a site for collecting ... SAT problem instances, algorithms, and empirical characterisations of the algorithms’ performance...
  • Paramils

  • Referenced in 87 articles [sw00678]
  • prominent complete and incomplete algorithms for SAT. We also present what is, to our knowledge...
  • ManySAT

  • Referenced in 43 articles [sw00544]
  • ManySAT: a parallel SAT solver. ManySAT, a new portfolio-based parallel SAT solver, is thoroughly ... benefits from the main weaknesses of modern SAT solvers: their sensitivity to parameter tuning ... This contrasts with most of the parallel SAT solvers generally designed using the divide ... conquer paradigm. Experiments on many industrial SAT instances, and the first rank obtained by ManySAT...
  • CCalc

  • Referenced in 79 articles [sw09899]
  • input using answer set solvers instead of SAT solvers...