A library of tools for doing computation in game theory