Detail aplikovaného výsledku

Z3-Noodler: A String Solver

HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; CHEN, Y.

Originální název

Z3-Noodler: A String Solver

Anglický název

Z3-Noodler: A String Solver

Druh

Software

Abstrakt

Z3-Noodler is a fork of the SMT solver Z3, replacing its string theory solver with a custom solver implementing the recently introduced stabilization-based algorithm for solving word equations with regular constraints.

Abstrakt aglicky

Z3-Noodler is a fork of the SMT solver Z3, replacing its string theory solver with a custom solver implementing the recently introduced stabilization-based algorithm for solving word equations with regular constraints.

Klíčová slova

string solving
noodlification
automata

Klíčová slova anglicky

string solving
noodlification
automata

Umístění

https://github.com/VeriFIT/z3-noodler

Licenční poplatek

Využití výsledku jiným subjektem je možné bez nabytí licence (výsledek není licencován)

www

https://github.com/VeriFIT/z3-noodler