Package org.tweetyproject.lp.asp.reasoner


package org.tweetyproject.lp.asp.reasoner
  • Class
    Description
    This class provides a common interface for asp solvers.
    Invokes Clingo (Part of the Potassco project), an ASP system that grounds and solves logic programs, and returns computed answer sets.
    Wrapper class for the DLV answer set solver command line utility.
    This class models a generic exception for ASP solvers.