• Yices

  • Referenced in 157 articles [sw04436]
  • quantifiers, and lambda expressions. Yices also does MaxSMT (and, dually, unsat cores) and is competitive...
  • vZ

  • Referenced in 14 articles [sw22666]
  • solving linear optimization problems over SMT formulas, MaxSMT, and their combinations. Objective functions are combined...
  • MadMax

  • Referenced in 2 articles [sw28631]
  • ordered completion. This new approach extends the maxSMT-based method for standard completion developed...
  • MiniSat

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

  • Referenced in 2 articles [sw00656]
  • optsat: A Tool for Solving SAT Related Optimization...
  • Pueblo

  • Referenced in 34 articles [sw00743]
  • This paper introduces a new hybrid method for...
  • SCIP

  • Referenced in 554 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • MaxSolver

  • Referenced in 20 articles [sw01990]
  • Maximum Boolean satisfiability (max-SAT) is the optimization...
  • UBCSAT

  • Referenced in 40 articles [sw02614]
  • UBCSAT: An implementation and experimentation environment for SLS...
  • SMT-LIB

  • Referenced in 196 articles [sw04103]
  • SMT-LIB was created with the expectation that...
  • PBS

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

  • Referenced in 606 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • LogMIP

  • Referenced in 23 articles [sw05035]
  • LogMIP 2.0 is a program for solving linear...
  • RPOLY

  • Referenced in 10 articles [sw05301]
  • Haplotype inference with pseudo-Boolean optimization. The fast...
  • MiniZinc

  • Referenced in 105 articles [sw06261]
  • MiniZinc is a medium-level constraint modelling language...
  • FlatZinc

  • Referenced in 9 articles [sw06262]
  • MiniZinc is a medium-level constraint modelling language...
  • Chaff

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

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

  • Referenced in 104 articles [sw07095]
  • clasp: A conflict-driven answer set solver. clasp...
  • Sat4j

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