ref="BooleanFormulaWithCosts.html" name="input.BooleanFormulaWithCosts" id="input.BooleanFormulaWithCosts" class="extype">input.BooleanFormulaWithCosts</a>.</p><p>For how to use complex non-ground answer set programs (in aspif format), please refer to README.md</p><p>Solver settings are provided using <a href="SolverParametersOverlay.html" name="input.SolverParametersOverlay" id="input.SolverParametersOverlay" class="extype">input.SolverParametersOverlay</a>.
The names and default values of available advanc