Algorithms for two-player zero-sum games - View it on GitHub