net.sf.tweety.logics.cl.test
Classes
CReasonerTest
ReasonerCompare