Authors of DGC package

Oliver Kraus <olikraus@yahoo.com>.  Initial design and implementation. 
Claudia Spircu                      State encoding, GUI
Tobias Dichtel                      Minimum cover algorithm
