repa

Regular Expression meets Presburger Arithmetic.

Example

$ cargo build -p grepa
$ ./target/debug/grepa '^(a{a}|i{i}|[^ai])*$' 'i >= 4 and a >= 4 and i = a' /usr/share/dict/words
antitintinnabularian

Name		Name	Last commit message	Last commit date
Latest commit History 17 Commits
grepa		grepa
src		src
.editorconfig		.editorconfig
.gitignore		.gitignore
Cargo.toml		Cargo.toml
README.md		README.md