Z3-Noodler: A String Solver
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F24%3APR38675" target="_blank" >RIV/00216305:26230/24:PR38675 - isvavai.cz</a>
Result on the web
<a href="https://github.com/VeriFIT/z3-noodler" target="_blank" >https://github.com/VeriFIT/z3-noodler</a>
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Z3-Noodler: A String Solver
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
R - Software
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2024
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Internal product ID
Z3-Noodler
Technical parameters
Pro informace o licenčních podmínkách prosím kontaktujte: Ing. Kristýna Dvořáčkova, MSc., Výzkumné centrum informačních technologií, Fakulta informačních technologií VUT v Brně, Božetěchova 2, 612 00 Brno, tel. 541 141 466.
Economical parameters
Software je volně dostupný včetně zdrojových textů.
Owner IČO
00216305
Owner name
Vysoké učení technické v Brně