Class ClingoWrapper

java.lang.Object
edu.tufts.hrilab.belief.provers.clingo.ClingoWrapper

public class ClingoWrapper extends Object
  • Constructor Details

    • ClingoWrapper

      public ClingoWrapper()
      since it writes to file this class is not thread safe
  • Method Details