Module GameSimpl

module GameSimpl: sig .. end

Simplification of Toss games.

Whole-game simplifications and helper functions that consider both a structure and a formula.

val niceness : Formula.formula -> int

val remove_exist : Formula.formula -> Formula.formula

val simplify : ?keep_nonempty_predicates:bool -> Arena.game -> Arena.game