Module Sse_options.Solver_call_frequencySource

Define the frequency -- in terms of number of conditionals -- with which we call the solver

type t = int
val set : t -> unit
val get : unit -> t
val is_default : unit -> bool