Z3-str
From MaRDI portal
Software:31320
No author found.
Related Items (8)
Active learning of sequential transducers with side information about the domain ⋮ MiniZinc with strings ⋮ A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings ⋮ An efficient SMT solver for string constraints ⋮ From invariant checking to invariant inference using randomized search ⋮ Z3str2: an efficient solver for strings, regular expressions, and length constraints ⋮ Dashed strings for string constraint solving ⋮ Constraint programming for dynamic symbolic execution of JavaScript
This page was built for software: Z3-str