Package org.tweetyproject.lp.asp.writer

package org.tweetyproject.lp.asp.writer

Classes

Class	Description
ClingoWriter	Prints ASP programs and single rules to the Clingo input format (https://potassco.org/clingo/).
DLVWriter	Prints ASP programs and single rules to the DLV input format (http://www.dlvsystem.com/html/DLV_User_Manual.html).