Model checking via Effectivity Frames

Simon Pruckerrequested to merge
effectFrames into modcheck

We extended the model checking implementation for Coalition Logic with Effectivity Frame Semantics.

Merge request reports