• QUBOS

  • Referenced in 25 articles [sw09580]
  • QUBOS: Deciding quantified Boolean logic using propositional satisfiability solvers. We describe QUBOS (QUantified BOolean Solver ... decision procedure for quantified Boolean logic. The procedure is based on nonclausal simplification techniques that...
  • semprop

  • Referenced in 18 articles [sw28383]
  • Boolean formulas. The increasing role of quantified Boolean logic in many applications calls for practically ... propositional case are generalised to the quantified Boolean case and the occuring differences are discussed...
  • LPL software

  • Referenced in 19 articles [sw04860]
  • Logic covers topics such as the boolean connectives, formal proof techniques, quantifiers, basic set theory ... soundness and completeness for propositional and predicate logic, as well as an accessible sketch...
  • CANA

  • Referenced in 2 articles [sw25679]
  • python package for quantifying control and canalization in Boolean Networks. Logical models offer a simple...
  • ToyElim

  • Referenced in 3 articles [sw09900]
  • function which takes a formula of propositional logic extended with operators for projection and circumscription ... these operators. Tasks like elimination of Boolean quantifiers, computation of uniform interpolants, certain forms ... formulas according to various semantics of logic programming can be expressed and integrated in this...
  • STABLE

  • Referenced in 2 articles [sw11913]
  • solver for hard verification problems combining Boolean reasoning with computer algebra. This paper presents ... solver, STABLE, for formulas of the quantifier-free logic over fixed-sized bit vectors...
  • DDDLIB

  • Referenced in 1 article [sw00192]
  • manipulating formulae in a first-order logic over Boolean variables and inequalities of the form ... with the standard Boolean operators (conjunction, disjunction, negation, etc.), eliminating quantifiers, and deciding functional properties...
  • SONOLAR

  • Referenced in 2 articles [sw26291]
  • Solver that solves quantifier-free fixed-size bit-vector logic formulas. The solver supports ... format including the following logics: Bit vectors (QF_BV). Bit vectors with arrays ... logic names are yet to be defined for this theory, the logics ... blasting to translate bitvector constraints to a Boolean formula and lets a SAT solver decide...
  • Boolector

  • Referenced in 31 articles [sw00085]
  • Boolector: an efficient SMT solver for bit-vectors...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

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

  • Referenced in 609 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • QEPCAD

  • Referenced in 283 articles [sw00752]
  • QEPCAD B: A program for computing with semi...
  • QuBE++

  • Referenced in 27 articles [sw00766]
  • In this paper we describe QuBE++, an efficient...
  • R

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • REDUCE

  • Referenced in 746 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • Reveal

  • Referenced in 21 articles [sw00801]
  • We describe the Reveal formal functional verification system...