Z3-str
From MaRDI portal
Software:31320
swMATH19493MaRDI QIDQ31320FDOQ31320
Author name not available (Why is that?)
Cited In (8)
- MiniZinc with strings
- Constraint programming for dynamic symbolic execution of JavaScript
- Active learning of sequential transducers with side information about the domain
- From invariant checking to invariant inference using randomized search
- A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings
- Z3str2: an efficient solver for strings, regular expressions, and length constraints
- Dashed strings for string constraint solving
- An efficient SMT solver for string constraints
This page was built for software: Z3-str
