We are happy to announce the first non-beta release of our tool platform.

Many thanks to our 3 contributing Ph.D. students:

  • Robin David,
  • Adel Djoudi &
  • Josselin Feist

who have now moved on to other endeavors.

You can download the tarball here.