Z3str2
From MaRDI portal
Software:42234
No author found.
Related Items (5)
An SMT solver for regular expressions and linear arithmetic over string length ⋮ String theories involving regular membership predicates: from practice to theory and back ⋮ Towards more efficient methods for solving regular-expression heavy string constraints ⋮ The satisfiability of word equations: decidable and undecidable theories ⋮ Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description)
This page was built for software: Z3str2
