Skip to content

Add JGraphT 1.2.0

Simon Barner requested to merge 3478-smt_exploration_router into master
  • To replace private copy of JGraphT in exploration.alg
  • Include the following modules of the library: core, ext, ext-uber

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

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

Depends on: kernel!12 (merged)

Merge request reports