ss="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 class="fullcomment"><div class="comment cmt"><p>Find User API entry point classes <a href="ProbabilisticAnswerSetProgram.html" name="input.ProbabilisticAnswerSetProgram" id="input.P