This is the FunnyQT solution for the TTC'13 Live Contest. It solves tasks 1 to 5, but sadly omits the state space exploration tasks 6 and 7.
Copyright © 2013 Tassilo Horn [email protected]
Distributed under the GNU General Public License, version 3 (or later)