pgsolver software on GitHub

Software OPEN SOURCE
  • Subject:
    acm: ComputingMilieux_PERSONALCOMPUTING | Data_CODINGANDINFORMATIONTHEORY
    arxiv: Computer Science::Robotics | Computer Science::Computer Science and Game Theory

A collection of tools for generating, manipulating and - most of all - solving parity games.
Share - Bookmark