Gambit is a library of game theory software and tools for the construction and analysis of finite extensive and strategic games