
Psyche
 Referenced in 3 articles
[sw28518]
 procedures such as those used in satmodulotheories solvers. We therefore illustrate Psyche...

Equinox
 Referenced in 2 articles
[sw09768]
 with a modular and extensible architecture. SAT modulo theory (SMT) solvers have the same...

IRiSC
 Referenced in 1 article
[sw15922]
 computer science in the field of SATmodulotheories (SMT) solving and research in mathematics...

FrankenBit
 Referenced in 3 articles
[sw25253]
 been an amazing progress in SAT solving, Satisfiability Modulo Theory of Bit Vectors...

TSAT++
 Referenced in 3 articles
[sw21350]
 which realizes the lazy SATbased approach to satisfiability modulo theories...

CalCS
 Referenced in 5 articles
[sw13098]
 satisfiability modulo theory (SMT) solver. Our solver, CalCS, uses a lazy combination of SAT...

SMCHR
 Referenced in 2 articles
[sw09322]
 with a modern Boolean satisfiability (SAT) solver for quantifierfree formulae with an arbitrary propositional ... essentially a satisfiability modulo theories (SMT) solver where the theory T is implemented ... generation, where a new clause for the SAT solver is generated whenever a rule...

fzn2smt
 Referenced in 4 articles
[sw13501]
 version 1.2. SMT stands for Satisfiability Modulo Theories: the problem of deciding the satisfiability ... formula with respect to background theories such as linear arithmetic, arrays, etc for which specialized ... wellestablished and powerful implementation features of SAT technology such as nonchronological backtracking, learning...

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

Boolector
 Referenced in 27 articles
[sw00085]
 Boolector: an efficient SMT solver for bitvectors...

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

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

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

Magma
 Referenced in 2602 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

ManySAT
 Referenced in 29 articles
[sw00544]
 ManySAT: a parallel SAT solver. ManySAT, a new...

Maple
 Referenced in 4841 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 5559 articles
[sw00554]
 Almost any workflow involves computing results, and that...

MetiTarski
 Referenced in 44 articles
[sw00573]
 Many inequalities involving the functions ln, exp, sin...

MiniSat
 Referenced in 516 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

Nitpick
 Referenced in 53 articles
[sw00622]
 Nitpick is a counterexample generator for Isabelle/HOL that...