Noodler

Important

This tool is obsolete and it is no longer maintained. Use z3-noodler instead.

Solving string constraints via noodles, see this paper

Requirements

Python 3.6+
This branch of Mata with Python bindings installed (see README of that repo)
Python packages installed via requirements.txt (try running pip install -r requirements.txt)

To run Noodler, use the following command:

./noodler.py <filename>

where filename is a file containing a formula in smtlib2 format.

Name		Name	Last commit message	Last commit date
Latest commit History 190 Commits
benchmarks/slog		benchmarks/slog
binder		binder
experimental		experimental
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
noodler.py		noodler.py
pastry-and-noodles.ipynb		pastry-and-noodles.ipynb
requirements.txt		requirements.txt
setup.py		setup.py