GitHub repository: roveri-marco/tfd
Primary language: C++
Description: Original version from: http://gki.informatik.uni-freiburg.de/tools/tfd/