Results 1 to 14 of 14
Sort by:

  • 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...