Z3str3
From MaRDI portal
Software:42233
swMATH30519MaRDI QIDQ42233FDOQ42233
Author name not available (Why is that?)
Source code repository: https://github.com/z3prover/z3
Cited In (13)
- On equations and first-order theory of one-relator monoids
- Reasoning about vectors using an SMT theory of sequences
- Constraint programming for dynamic symbolic execution of JavaScript
- An SMT solver for regular expressions and linear arithmetic over string length
- Title not available (Why is that?)
- Chain-Free String Constraints
- Supercharging plant configurations using Z3
- Propagating \textsc{lex}, \textsc{find} and \textsc{replace} with dashed strings
- 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
- Syntax-guided rewrite rule enumeration for SMT solvers
- Dashed strings for string constraint solving
This page was built for software: Z3str3
