trolando/SPGSolver

A framework for solving parity games written in Scala, C++, Java and Go

Java