etienneandre/InSPEQTor
InSPEqTor (INference of Shortest Paths with EQuivalent abstracT behaviOR) is a prototype implementation to compute parameter valuations in parametric directed weighted graphs such that shortest paths are preserved.
OCamlGPL-3.0
No issues in this repository yet.