Robuta

https://oplict.cs.uni-freiburg.de/ OPLICT