GitHub repository: olijzenga/bdd-parity-game-solver
Primary language: Python
Description: A symbolic parity game solver which implements two fixpoint-iteration algorithms capable of deriving winning strategies symbolically. Used for my thesis for my bachelor's degree.