• 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 floating-point satisfiability solver. The Satisfiability Modulo Theory (SMT) problem over floating-point arithmetic ... establish the equivalence between floating-point 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...
  • SMT-Exec

  • Referenced in 1 article [sw13589]
  • Exec. The Satisfiability Modulo Theories Execution Service (SMT-Exec) 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...
  • expansion-network

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

  • Referenced in 1 article [sw15922]
  • science in the field of SAT-modulo-theories (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...