Z3-Noodler: A String Solver

Z3-Noodler: Řetězcový Řešič

software

ne - zdarma

Havlena Vojtěch, Ing., Ph.D. (UITS FIT VUT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Chen Yu-Fang (ASIN)
Chocholatý David, Ing. (FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Síč Juraj, Mgr. (UITS FIT VUT)

Z3-Noodler je fork SMT řešiče Z3, který nahrazuje jeho řešič teorie řetězců vlastním řešičem implementujícím nedávno zavedený algoritmus založený na stabilizaci pro řešení slovních rovnic s regulárními omezeními.

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

Volně šiřitelný software pod MIT licencí https://raw.githubusercontent.com/vhavlena/ranker/master/LICENSE

Efektivní konečné automaty pro automatické usuzování (LL1908)
Reliable, Secure, and Intelligent Computer Systems (FIT-S-23-8151)
Reprezentace Booleovských funkcí pomocí adaptabilní datové struktury (GA23-07565S)

Automata@FIT (VZ Automata@FIT)
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)

Ústav inteligentních systémů FIT VUT v Brně (UITS FIT VUT)