Repository navigation

usr-solver

Public

About

SMT solver for regular expressions over uninterpreted string variables

Custom properties

4 stars

0 watching

Report repository

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
archive		archive
benchmarks		benchmarks
excluded		excluded
experiments		experiments
src		src
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
LICENSE		LICENSE
README.md		README.md
cases_to_investigate.md		cases_to_investigate.md

Repository files navigation

Uninterpreted String Regexes

SMT solver for regular expressions over uninterpreted string variables, based on Antimirov and Brzozowski derivatives.

Developers

DavisPL research group

About

SMT solver for regular expressions over uninterpreted string variables

Custom properties

4 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages