EmbASP-Java
clingo Directory Reference