Eliminate outdated and unused copy of JGraphT library (!12) · Merge requests · af3 / kernel · GitLab

Simon Barner requested to merge 3478-smt_exploration_router into master Jul 30, 2018

Issue-Ref: 3478 Issue-Url: https://af3-developer.fortiss.org/issues/3478

Signed-off-by: Simon Barner barner@fortiss.org