• MiniSat

  • Referenced in 566 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 586 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 312 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 175 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 ... Chaff, the leader among resolution-based SAT-solvers. Experiments show that our program is more...
  • clasp

  • Referenced in 103 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...
  • Cmodels

  • Referenced in 71 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 99 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...
  • PicoSAT

  • Referenced in 83 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...
  • CCalc

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

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

  • Referenced in 154 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...
  • ManySAT

  • Referenced in 40 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...
  • SATLIB

  • Referenced in 59 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...
  • MathSAT5

  • Referenced in 56 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...
  • iProver

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

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

  • Referenced in 36 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...
  • Open-WBO

  • Referenced in 28 articles [sw10045]
  • MiniSAT-like solver as the underlying SAT solver. As many other MaxSAT solvers, open ... relies on successive calls to a SAT solver. Even though new techniques are proposed ... SAT solvers every year, for many MaxSAT solvers it is hard to change the underlying ... SAT solver. With open-wbo, advances in SAT technology will result in a free improvement...