Game Theory

A prototype symbolic implementation of partial solvers for (generalized) parity games applied to LTL realizability.

Python implementation of reachability/safety games solver as well as weak parity and strong parity games solver.