6 skills found
tcsprojects / PgsolverA collection of tools for generating, manipulating and - most of all - solving parity games.
tomicz / Steam Pipe Gui Macos Unity🕹️ A Unity-native tool for macOS that brings Steam deployment to parity with SteamPipeGUI on Windows. Integrated directly into the Unity Editor, it streamlines building and uploading your games to Steam on macOS. Reduce friction in your release workflow, maintain cross-platform consistency, and ship updates faster with fewer steps. Ideal for devel
Skar0 / GamesolverA python tool for solving reachability/safety, parity, weak parity and generalized parity games
Skar0 / SporeSPORE: Symbolic Partial sOlvers for REalizability
jkeiren / Paritygame GeneratorGenerator for parity games using various generation techniques to obtain a broad class of games
madewulf / AlpagaTool computing strategies for imperfect information parity games, using antichains during the computations to gain efficiency
