GitHub repository: sharkdp/purescript-gametree
Primary language: PureScript
Created: 2016-03-06T09:17:21Z
Description: Algorithms for two-player zero-zum games