Eine Vorlage für unseren Workshop zu Solvern
https://user.informatik.uni-bremen.de/~leupold/PA-STMW/PA2/