>val</span> solverParams = SolverParametersOverlay(
  noOfModels = -<span class="num">1</span>, <span class="cmt">// -1 means sample until desired accuracy (thresholdOpt) has been reached. A positive</span>
  <span class="cmt">// number would specify a minimum sample size (number of answer sets).</span>
  noOfSecondaryModels = <span class="num">0</span>,
  offHeapGarbageCollectionModeR = <span class="num">0</span>,
  thresholdOpt = <span class="std">Some</span>(<span class="num">1</span>e-<span class="num">