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).
- Python 3.6+
- Awali with Python bindings (Awalipy) installed.