Gruppe zur Anmeldeliste: Programmier-Projekt ROBDD