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

Nopol
 Referenced in 2 articles
[sw26884]
 data into an instance of a Satisfiability Modulo Theory (SMT) problem; then a feasible solution...

vZ
 Referenced in 9 articles
[sw22666]
 optimization problems modulo theories. Many SMT applications use models to provide satisfying assignments...

PySMT
 Referenced in 1 article
[sw19843]
 pySMT makes working with Satisfiability Modulo Theory simple: Define formulae in a simple, intuitive...

XSat
 Referenced in 1 article
[sw26290]
 fast floatingpoint satisfiability solver. The Satisfiability Modulo Theory (SMT) problem over floatingpoint arithmetic ... establish the equivalence between floatingpoint satisfiability and a class of mathematical optimization (MO) problems...

GameTime
 Referenced in 1 article
[sw09949]
 online learning and systematic testing using satisfiability modulo theories (SMT) solvers. In contrast with many...

SMTExec
 Referenced in 1 article
[sw13589]
 Exec. The Satisfiability Modulo Theories Execution Service (SMTExec) is a solver execution service provided...

DSValidator
 Referenced in 1 article
[sw26829]
 model checking tool based on satisfiability modulo theories for digital systems. DSValidator reproduces the execution...

JavaSMT
 Referenced in 1 article
[sw18525]
 Interface for SMT Solvers in Java. Satisfiability Modulo Theory (SMT) solvers received...

expansionnetwork
 Referenced in 1 article
[sw34481]
 method resorts to the Z3 satisfiability modulo theories (SMT) solver, and is similar...

Trickle
 Referenced in 0 articles
[sw22323]
 upon the Sequoll framework and apply satisfiability modulo theory (SMT) solvers to find classes...

IRiSC
 Referenced in 1 article
[sw15922]
 science in the field of SATmodulotheories (SMT) solving and research in mathematics ... modify this procedure so that it satisfies certain requirements needed for the embedding into...

AXIOM
 Referenced in 169 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

BARON
 Referenced in 307 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

CoCoA
 Referenced in 607 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

CoCoALib
 Referenced in 54 articles
[sw00144]
 CoCoALib: A C++ library for computations in commutative...

Coq
 Referenced in 1758 articles
[sw00161]
 Coq is a formal proof management system. It...

GAP
 Referenced in 2735 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Isabelle
 Referenced in 601 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

Macaulay2
 Referenced in 1585 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...