 â€“ <a href="../../../index.html">Synduce</a> &#x00BB; <a href="../../index.html">Syguslib</a> &#x00BB; <a href="../index.html">Solvers</a> &#x00BB; SolverSystemConfig</nav><header class="odoc-preamble"><h1>Module type <code><span>Solvers.SolverSystemConfig</span></code></h1><p>A module to provide the system configuration for syntax-guided synthesis solver. It indicates the path to the solver executables on the system. CVC4 and CVC5 are treted as one solver, with the boolean <code>use_cvc5 ()</code> s