jan-g/country-roads-z3

solving the "country roads" problems with z3, incrementally

Solving "country roads" using Z3

To install:

pip install -e .

To run:

country-roads