.. currentmodule:: iglsynth ================= IGLSynth Examples ================= .. automodule:: examples .. toctree:: :maxdepth: 1 Game on Graph from Scratch Game on Graph using TSys and LTL Defining Logic Formulas