ILASP (Inductive Learning of Answer Set Programs) is a new logic-based learning system capable of learning normal rules, disjunctive rules, choice rules, constraints and weak constraints in ASP.
ILASP is available for download from this page. ILASP is free to use for non-commercial research and education. If do use ILASP for research, we ask that you use this citation. Anyone wishing to use ILASP for commercial purposes should contact Mark Law (mark@ilasp.com). For details and examples of how to use ILASP, please see the manual (which is available at www.ilasp.com).
Please submit all bug reports and feature requests as issues on this GitHub repository.