EmbASP-Java v7.1.0
android Directory Reference

Files

file  DLVAndroidReasoner.java
 
file  DLVAndroidService.java