Will solve the game state of the resistance game.  Will support probabilistic queries on the computed game state.