Noodler

Solving string constraints via segment-automata and noodles.

The notebook example-full-algo uses Noodler to produce balanced and unified query for simple string equations.

See pastry and noodles to understand noodlification and unification.

Example-full-algo-long contains equation that take long time to solve (especially when starting from the right-hand side).

Requirements

Name		Name	Last commit message	Last commit date
Latest commit History 61 Commits
benchmarks/slog		benchmarks/slog
binder		binder
img		img
noodler		noodler
notebooks		notebooks
tests		tests
.gitignore		.gitignore
README.md		README.md
example-full-algo-long.ipynb		example-full-algo-long.ipynb
example-full-algo.ipynb		example-full-algo.ipynb
pastry-and-noodles.ipynb		pastry-and-noodles.ipynb
setup.py		setup.py