Uses of Class
net.sf.tweety.lp.asp.reasoner.ClingoSolver