Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail produktu
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