• veriT

  • Referenced in 30 articles [sw07281]
  • veriT: An Open, Trustable and Efficient SMT-Solver. This article describes the first public version...
  • OpenSMT

  • Referenced in 28 articles [sw08426]
  • incremental, efficient, and open-source SMT-solver. OpenSMT has been specifically designed to be easily...
  • Skeptik

  • Referenced in 6 articles [sw11917]
  • improving proofs obtained by SAT- and SMT-solvers...
  • SONOLAR

  • Referenced in 2 articles [sw26291]
  • linear Arithmetic, is an SMT-Solver that solves quantifier-free fixed-size bit-vector logic...
  • Picoso

  • Referenced in 1 article [sw11455]
  • parallel interval constraint solver. Parallel SMT-solver for boolean combinations of linear and non-linear...
  • I-RiSC

  • Referenced in 1 article [sw15922]
  • RiSC: an SMT-compliant solver for the existential fragment of real algebra. This paper connects ... field of SAT-modulo-theories (SMT) solving and research in mathematics on decision procedures ... needed for the embedding into an SMT-solver...
  • qfis

  • Referenced in 1 article [sw09708]
  • discharge them by calls to the SMT-solver CVC3, and reports the outcome back...
  • lazybv2int

  • Referenced in 1 article [sw41585]
  • Competition 2020. lazybv2int. It is an SMT-solver for the thory of bit-vectors...
  • Boolector

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

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

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

  • Referenced in 124 articles [sw09485]
  • CVC4 is an efficient open-source automatic theorem...