robabilisticAnswerSetProgram" class="extype">input.ProbabilisticAnswerSetProgram</a> (API for plain or probabilistic Answer Set Programming) and <a href="BooleanFormulaWithCosts.html" name="input.BooleanFormulaWithCosts" id="input.BooleanFormulaWithCosts" class="extype">input.BooleanFormulaWithCosts</a> (API for plain or probabilistic SAT solving) here
</p></div><dl class="attributes block"><dt>Definition Classes</dt><dd><a href="../index.html" name="_root_" id="_root_" class="extype">root</a></dd></dl></di