Package net.sf.tweety.lp.asp.reasoner