STPGModelChecker iteration export#3

Open

kleinj wants to merge 1 commit intoprismmodelchecker:masterfrom

kleinj:export-iterations-1

Commits on Jun 20, 2018

STPGModelChecker: enable iterations export for several of the game analysis algorithms
kleinj
committed