The program implements the algorithm described here
Source Inputs One you download the program and compiled it (you need LEDA). You can run it, by doing:
./nav inputs/100.off 0.5 inputs/100.in