lass="anchor"></a><code><span class="keyword">val</span> solve_commands : <a href="../../Syguslib/Sygus/index.html#type-program">Syguslib.Sygus.program</a> <span>&#45;&gt;</span> <span><span><a href="../../Syguslib/Sygus/index.html#type-solver_response">Syguslib.Sygus.solver_response</a> Base.option</span> Lwt.t</span> * <span>Base.int Lwt.u</span></code></dt><dt class="spec value" id="val-default_solver"><a href="#val-default_solver" class="anchor"></a><code><span class="keyword">val</span> default_solver 