AltErgoLib.Sat_solverval get : Util.sat_solver -> (module Sat_solver_sig.SatContainer)Returns the SAT-solver corresponding to the argument.
val get_current : unit -> (module Sat_solver_sig.SatContainer)returns the current activated SAT-solver depending on the value of `Options.sat_solver ()`. See command-line option `-sat-solver` for more details *
val get_theory : no_th:bool -> (module Theory.S)