Product detail

Z3-Noodler: A String Solver

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

Product 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.

Keywords

string solving noodlification automata

Create date

2. 1. 2024

Location

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

Possibilities of use

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

Licence fee

Poskytovatel licence na výsledek nepožaduje licenční poplatek

www

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