GitHub repository: satya2009rta/pestel
Primary language: C++
Description: A tool for computing strategy templates for two player graph games with generalized parity objective, i.e., finite conjunction of parity objectives.