• Logic Calculator

  • Referenced in 0 articles [sw27083]
  • formula to Disjunctive Normal Form (DNF) and Conjunctive Normal Form (CNF): displays ... representation of a given formula in both a DNF and CNF...
  • Lynx

  • Referenced in 10 articles [sw13643]
  • specialized code for a class of Boolean formulas, which is periodically called by Lynx ... search, and to respond by adding CNF clauses back to the solver dynamically and incrementally...
  • LEO-II

  • Referenced in 51 articles [sw00512]
  • LEO-II is a standalone, resolution-based higher...
  • Maple

  • Referenced in 5124 articles [sw00545]
  • The result of over 30 years of cutting...
  • MiniSat

  • Referenced in 536 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • SETHEO

  • Referenced in 119 articles [sw00707]
  • SETHEO: A high-performance theorem prover. The paper...
  • PolyBoRi

  • Referenced in 45 articles [sw00723]
  • This work presents a new framework for Gröbner...
  • SATLIB

  • Referenced in 57 articles [sw02107]
  • SATLIB is a collection of benchmark problems, solvers...
  • VAMPIRE

  • Referenced in 239 articles [sw02918]
  • Vampire 8.0, [RV02,Vor05] is an automatic theorem...
  • CPLEX

  • Referenced in 2583 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • Walksat

  • Referenced in 208 articles [sw04328]
  • GSAT and WalkSat are local search algorithms to...
  • PBS

  • Referenced in 38 articles [sw04622]
  • Reads as input both: CNF constraints, PB constraints...
  • zChaff

  • Referenced in 36 articles [sw04757]
  • zChaff is an implementation of the well known...
  • JBool

  • Referenced in 105 articles [sw06185]
  • This software promotes some general and useful tools...
  • SATCHMO

  • Referenced in 96 articles [sw06619]
  • SATCHMO: a theorem prover implemented in Prolog. The...
  • Chaff

  • Referenced in 570 articles [sw06916]
  • Chaff:engineering an efficient SAT solver. Boolean Satisfiability...
  • PicoSAT

  • Referenced in 80 articles [sw07092]
  • PicoSAT essentials. We describe and evaluate optimized compact...
  • Sat4j

  • Referenced in 75 articles [sw07283]
  • The Sat4j library, release 2.2 system description. Sat4j...
  • DIMACS

  • Referenced in 530 articles [sw08221]
  • The DIMACS Implementation Challenges address questions of determining...
  • Ltur

  • Referenced in 40 articles [sw11689]
  • LTUR: A simplified linear time unit resolution algorithm...