Package burlap.domain.stochasticgames.normalform