This is a Python project for computing point-to-point single-source shortest path problems with the additional contraint that the label of the path has to belong to some formal language.
The code was developed within the scope of a bachelor's thesis at the University of Kaiserslautern.
run 'main.py' and select one of the options.