
CVC4
 Referenced in 107 articles
[sw09485]
 opensource automatic theorem prover for satisfiability modulo theories (SMT) problems. It can be used ... prove the validity (or, dually, the satisfiability) of firstorder 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 opensource...

Boolector
 Referenced in 28 articles
[sw00085]
 solver for bitvectors 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 fixpoints 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 problemsare 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 SATbased 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 bitprecise 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...