Gambit: The package for computation in game theory
A game theory framework with examples and algorithms