• CVC4

• Referenced in 107 articles [sw09485]
• open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. It can be used ... prove the validity (or, dually, the satisfiability) of first-order formulas in a large number...

• cvc3

• Referenced in 85 articles [sw04886]
• automatic theorem prover for Satisfiability Modulo Theories (SMT) problems. CVC3 is the last offspring...

• veriT

• Referenced in 30 articles [sw07281]
• first public version of the satisfiability modulo theory (SMT) solver veriT. It is open-source...

• Boolector

• Referenced in 28 articles [sw00085]
• solver for bit-vectors and arrays. Satisfiability Modulo Theories (SMT) is the problem of deciding...

• Mcmt

• Referenced in 21 articles [sw11911]
• Mcmt: a model checker modulo theories. We describe mcmt, a fully declarative and deductive symbolic ... state systems whose state variables are arrays. Theories specify the properties of the indexes ... safety and fix-points by solving Satisfiability Modulo Theories (SMT) problems. Besides standard SMT techniques...

• SYMBA

• Referenced in 11 articles [sw08528]
• solvers. The rise in efficiency of Satisfiability Modulo Theories (SMT) solvers has created numerous uses ... applications, SMT solvers are used for generating satisfying assignments (e.g., a witness...

• CalCS

• Referenced in 7 articles [sw13098]
• convex programming to realize a satisfiability modulo theory (SMT) solver. Our solver, CalCS, uses...

• ESBMC

• Referenced in 7 articles [sw09946]
• embedded C/C++ software based on Satisfiability Modulo Theories (SMT) solver. It allows the verification engineer...

• bv2epr

• Referenced in 7 articles [sw07142]
• essential in many applications of satisfiability modulo theories (SMT). In recent years, efficient approaches...

• LinAIG

• Referenced in 6 articles [sw10316]
• exploitation of the capabilities of SMT (Satisfiability Modulo Theories) solvers. Constraint minimization optimizes polyhedra...

• NLambda

• Referenced in 5 articles [sw23172]
• that define them, and an external satisfiability modulo theories (SMT) solver is regularly...

• ASASP

• Referenced in 5 articles [sw06350]
• satisfiability problems-are mechanized by Satisfiability Modulo Theories solving and Automated Theorem Proving. asasp...

• TSAT++

• Referenced in 3 articles [sw21350]
• TSAT++: an open platform for satisfiability modulo theories. This paper describes TSAT++, an open platform ... lazy SAT-based approach to satisfiability modulo theories (SMT). SMT is the problem of determining...

• ASPMT2SMT

• Referenced in 4 articles [sw13280]
• combining answer set programming and satisfiability modulo theories based on the functional stable model semantics...

• fzn2smt

• Referenced in 4 articles [sw13501]
• language version 1.2. SMT stands for Satisfiability Modulo Theories: the problem of deciding the satisfiability...

• HyComp

• Referenced in 4 articles [sw20163]
• checker for hybrid systems based on Satisfiability Modulo Theories (SMT). HyComp takes as input networks...

• Qex

• Referenced in 3 articles [sw09944]
• specific background theory for a satisfiability modulo theories (SMT) solver as a set of equational...

• FrankenBit

• Referenced in 3 articles [sw25253]
• amazing progress in SAT solving, Satisfiability Modulo Theory of Bit Vectors, and bit-precise Bounded...

• SMCHR

• Referenced in 2 articles [sw09322]
• propositional structure. SMCHR is essentially a satisfiability modulo theories (SMT) solver where the theory...

• PySMT

• Referenced in 2 articles [sw19843]
• pySMT makes working with Satisfiability Modulo Theory simple: Define formulae in a simple, intuitive...