it.unical.mat.embasp.specializations.dlv2.android
Classes
DLV2AndroidReasoner
DLV2AndroidService