Module `D_state_option.SatSolverModule`

The Sat solver module used for the calculation. This option's value depends on SatSolver: when SatSolver is updated, this one also is.

type t = (module Sat_solver_sig.S)

The data saved in the state.

val get : D_loop.Typer.state -> t

Returns the option stored in the state. If it has not been registered, fetches the default option in the module Options.