If you want to look at the code for the game engine, it's in the prover package: org.ggp.base.util.statemachine.implementation.prover.