Z3str3
From MaRDI portal
Software:42233
No author found.
Source code repository: https://github.com/z3prover/z3
Related Items (13)
An SMT solver for regular expressions and linear arithmetic over string length ⋮ Propagating \textsc{lex}, \textsc{find} and \textsc{replace} with dashed strings ⋮ String theories involving regular membership predicates: from practice to theory and back ⋮ Syntax-guided rewrite rule enumeration for SMT solvers ⋮ Towards more efficient methods for solving regular-expression heavy string constraints ⋮ Unnamed Item ⋮ Chain-Free String Constraints ⋮ The satisfiability of word equations: decidable and undecidable theories ⋮ Dashed strings for string constraint solving ⋮ On equations and first-order theory of one-relator monoids ⋮ Constraint programming for dynamic symbolic execution of JavaScript ⋮ Reasoning about vectors using an SMT theory of sequences ⋮ Supercharging plant configurations using Z3
This page was built for software: Z3str3
