Z3str2

swMATH30520MaRDI QIDQ42234FDOQ42234

Author name not available (Why is that?)

Described by source

• Z3str2: an efficient solver for strings, regular expressions, and length constraints

Cited In (5)

• An SMT solver for regular expressions and linear arithmetic over string length
• The satisfiability of word equations: decidable and undecidable theories
• String theories involving regular membership predicates: from practice to theory and back
• Towards more efficient methods for solving regular-expression heavy string constraints
• Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description)

This page was built for software: Z3str2