11.0.0

Christophe Maldivi

@ChristopheMaldivi

9a3ca0a3 · (apps): remove guava + move to kotlin 1.9.10 · Oct 20, 2023

upgrade all dependencies (jgrapht, kotlin,  ...), remove guava, fix deprecations, ...