EmbASP-Java v7.1.0
android Directory Reference

Files

file  DLV2AndroidReasoner.java
 
file  DLV2AndroidService.java