Add JGraphT 1.2.0 (!53) · Merge requests · af3 / af3-backup · GitLab

This is an archived project. Repository and other project resources are read-only.

GitLab now enforces expiry dates on tokens that originally had no set expiration date. Those tokens were given an expiration date of one year later. Please review your personal access tokens, project access tokens, and group access tokens to ensure you are aware of upcoming expirations. Administrators of GitLab can find more information on how to identify and mitigate interruption in our documentation.

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

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)