ed settings (advancedSolverArgs) within this structure are listed in <a href="../sharedDefs/index.html" name="sharedDefs" id="sharedDefs" class="extype">sharedDefs</a></p><h4>API usage example 1: Sampling with probabilistic ground rules</h4><pre><span class="kw">val</span> rules: <span class="std">Set</span>[GroundSymbolicASPRule] = <span class="std">Set</span>(

  <span class="cmt">/*
      [0.7] p :- not q.  % rule has probability 0.7
      {q}. % we need this choice rule just to ensure predicate q is def