GIST: Game solver from IST

Gist is a tool for solving probabilistic games with ω-regular objectives qualitatively. Using this, Gist synthesizes reasonable environment assumptions for synthesis of unrealizable specifications. Gist provides both a graphical and a text-based interface for ease of usage.

You can test the text-based interface of Gist online here.

Gist can be downloaded here.