parity-game-solver

There are 2 repositories under parity-game-solver topic.

• Skar0 / gamesolver

  A python tool for solving reachability/safety, parity, weak parity and generalized parity games

  game-theoryparity-game-solverreachability-gameweak-parity-gameparity-gamesafety-gamesparity-gamesreachability-gamesgeneralized-parity-gamesantichains
  Language:Python 12

• Skar0 / spore

  SPORE: Symbolic Partial sOlvers for REalizability

  generalized-parity-game-solvergeneralized-parity-gamesltl-realizabilityparity-game-solverparity-games
  Language:Python 9

• pazz / boostzielonka

  A basic parity game solver

  parity-game-solververification
  Language:Python 2