GitHub repository: DLR-SC/GNN-Parity-Games-Solver
Primary language: Python
Created: 2022-10-14T11:34:53Z
Description: An incomplete parity game solver based on graph neural networks