The game.jl stuff seems a bit out of place here, in particular since it adds a lot of dependencies that are not needed by the core solver. We could consider moving it into examples/
I considered that, but then opted for putting it here because games are such an important means of generating MCPs. Could put it in a separate module perhaps? That wouldn't cut down on dependencies though, right?
The
game.jl
stuff seems a bit out of place here, in particular since it adds a lot of dependencies that are not needed by the core solver. We could consider moving it intoexamples/