functor
(
Options
:
sig
val
profiling : bool
end
)
->
Solver