Applied result detail

Z3-Noodler: A String Solver

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

Original Title

Z3-Noodler: A String Solver

English Title

Z3-Noodler: A String Solver

Type

Software

Abstract

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.

Abstract in English

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.

Keywords

string solving
noodlification
automata

Key words in English

string solving
noodlification
automata

Location

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

Licence fee

Use of the result by another entity is possible without acquiring a license (the result is not licensed)

www

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