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