Class for game, class for CnfFormula, killing Solver.