EmbASP-Java v7.1.0
Classes
Package it.unical.mat.embasp.specializations.dlv2.android

Classes

class  DLV2AndroidReasoner
 
class  DLV2AndroidService