MeanPayoffSolver software on GitHub

Software OPEN SOURCE

A solver for Mean Payoff Games, based on gain and bias equations and the Z3 SMT solver.
Share - Bookmark