Detail produktu

Z3-Noodler: A String Solver

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

Typ produktu

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.

Klíčová slova

string solving noodlification automata

Datum vzniku

2. 1. 2024

Umístění

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

Možnosti využití

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

Licenční poplatek

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

www