• MiniSat

  • Referenced in 558 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 579 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 305 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 172 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 160 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 100 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 82 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 69 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 88 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 78 articles [sw09899]
  • using answer set solvers instead of SAT solvers...
  • Sat4j

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

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

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

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

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

  • Referenced in 45 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...
  • sharpSAT

  • Referenced in 25 articles [sw16713]
  • introduce sharpSAT, a new #SAT solver that is based on the well known DPLL algorithm ... techniques from SAT and #SAT solvers. Most importantly, we introduce an entirely new approach ... manner that is well suited for #SAT solving. We show that these techniques are highly ... solver performs significantly better than other #SAT solvers...