/Noodler

Solving String equations using automata

Primary LanguageSMT

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)

We recommend using python virtual environments.

Run

To run Noodler, use the following command:

./noodler.py <filename>

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