Class BooleanSolver<T>