Sasacore.ExhaustSearch
val f : Stdlib.out_channel -> bool -> 'v SimuState.t -> (bool list list * bool list list * bool * float * 'v Conf.t) list
val reset : unit -> unit