GitHub - z3str/Z3-str: A Z3-Based String Constraint Solver · GitHub

Repository navigation

Z3-str

Public

About

A Z3-Based String Constraint Solver

88 stars

18 watching

Report repository

Name		Name	Last commit message	Last commit date
benchmark		benchmark
tests		tests
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
README_OLD.md		README_OLD.md
Z3-str.py		Z3-str.py
strArgmt.cpp		strArgmt.cpp
strAstReduce.cpp		strAstReduce.cpp
strMain.cpp		strMain.cpp
strRegex.cpp		strRegex.cpp
strTheory.cpp		strTheory.cpp
strTheory.h		strTheory.h
z3-src-4.1.1.zip		z3-src-4.1.1.zip
z3.patch		z3.patch

Repository files navigation

Z3-str2 is not actively maintained anymore.

Please see https://sites.google.com/site/z3strsolver/ for z3str3 and latest versions.

About

A Z3-Based String Constraint Solver

88 stars

18 watching

Report repository

Releases

Packages

Contributors

Languages