Class ClingoWrapper
java.lang.Object
edu.tufts.hrilab.belief.provers.clingo.ClingoWrapper
-
Constructor Summary
Constructors -
Method Summary
-
Constructor Details
-
ClingoWrapper
public ClingoWrapper()since it writes to file this class is not thread safe
-
-
Method Details
-
isSatisfiable
-
parseModels
-