ass="modifier"></span> <span class="kind">package</span></span> <span class="symbol"><a href="index.html" title="Find User API entry point classes input.ProbabilisticAnswerSetProgram (API for plain or probabilistic Answer Set Programming) and input.BooleanFormulaWithCosts (API for plain or probabilistic SAT solving) here"><span class="name">input</span></a></span><p class="shortcomment cmt">Find User API entry point classes <a href="" name="input.ProbabilisticAnswerSetProgram" id="input.ProbabilisticAnswerS