
HAMPI
 Referenced in 20 articles
[sw09864]
 Hampi: A Solver for String Constraints. Hampi is a solver for string constraints. Hampi...

Norn
 Referenced in 7 articles
[sw21853]
 Norn: an SMT solver for string constraints. We present version 1.0 of the Norn ... solver for string constraints. Norn is a solver for an expressive constraint language, including word...

S3
 Referenced in 7 articles
[sw19495]
 symbolic string solver. Our solver employs a new algorithm for a constraint language that ... Specifically, our language covers all the main string operations, such as those in JavaScript...

Z3str2
 Referenced in 3 articles
[sw30520]
 regular expressions, and length constraints. In recent years, string solvers have become an essential component...

Z3str3
 Referenced in 5 articles
[sw30519]
 Z3str3 is a constraint solver for the quantifierfree theory of string equations, the regular...

Kaluza
 Referenced in 2 articles
[sw12036]
 Kaluza constraint solver. Kaluza is a solver for multiple string variables of bounded length. Kaluza...

Symbolic automata
 Referenced in 5 articles
[sw13262]
 power of stateoftheart constraint solvers for automata analysis that is both expressive ... transducers over strings. It also handles transducers with registers. Constraint solving is used when composing...

PASS
 Referenced in 7 articles
[sw21858]
 structure to model strings, and converts string constraints into quantified expressions that are solved through ... reason about string values faster. Our method does not need to enumerate string lengths ... vector based methods do), or concrete string values (as automaton based methods do). Hence ... identify unsatisfiable cases quickly. Our solver (named PASS) supports most of the popular string operations...

Rex
 Referenced in 4 articles
[sw11888]
 explorer. Constraints in form regular expressions over strings are ubiquitous. They occur often in programming ... applications. Providing support for regular expression constraints in program analysis and testing has several useful ... analyzing regular expression constraints. Rex is implemented using the SMT solver Z3, and we provide...

ATLAS
 Referenced in 197 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

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

CUTE
 Referenced in 64 articles
[sw00177]
 CUTE: a concolic unit testing engine for C...

HOM4PS
 Referenced in 77 articles
[sw00410]
 HOM4PS2.0: a software package for solving polynomial...

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

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

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

MATCONT
 Referenced in 396 articles
[sw00551]
 MATCONT: Matlab software for bifurcation study of dynamical...

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

Matlab
 Referenced in 12640 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

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