PASS
From MaRDI portal
Software:33658
No author found.
Related Items (7)
Propagating \textsc{lex}, \textsc{find} and \textsc{replace} with dashed strings ⋮ MiniZinc with strings ⋮ A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings ⋮ An efficient SMT solver for string constraints ⋮ 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: PASS
