GitHub repository: romainbrenguier/MeanPayoffSolver
Primary language: C++
Created: 2016-06-16T15:59:28Z
Description: A solver for Mean Payoff Games, based on gain and bias equations and the Z3 SMT solver.