Generation of CTL formulas for the model checking contest
The tool is based on the Pinimili parser for PNML. It also uses a simple model checker that was developped for earlier generators for filtering formulas (only needed at execution, not for compiling the tool). We plan to no longer rely on this model checker in the futur.