ASPIDE
ASPIDE is an Integrated Development Environment for Answer Set Programming supporting the entire life-cycle of ASP development from (assisted) programs editing to application deployment. ASPIDE is an IDE designed to maximize ASP programmer productivity providing a wide set of features that help the management, the writing, the correction and the execution of the created projects.
ASPIDE is free for academic and non-commerical educational use, as well as for use by non-profit organisations.
Licences for commercial use can be requested by writing to info@dlvsystem.com
To download please visit ASPIDE website. (External link)
The ASPIDE manual is available here.
- Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca: Extending ASPIDE with User-defined Plugins. CILC 2012: 236-240
- Onofrio Febbraro, Kristian Reale, Francesco Ricca: ASPIDE: Integrated Development Environment for Answer Set Programming. LPNMR 2011: 317-330
- Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca: Unit Testing in ASPIDE. INAP/WLP 2011: 345-364