Module Fcl_opti

module Fcl_opti: sig .. end

type mode = 
| Restart
| Continue
val minimize : Fcl_goals.t ->
Fcl_var.Fd.t ->
?control:(int -> unit) ->
?step:int -> ?mode:mode -> (int -> 'a) -> 'a option