ASPIDE

Introduction

ASPIDE is a 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.

Usage

Compute Systems Invocation Version(s)
Red Hat Linux (64-bit) % /util/bin/aspide 1.4.2(default)

Notes

  1. To reset your profile, remove the ~/.aspide directory

People

  1. Jan Chomicki, instructor.

References

  1. https://www.mat.unical.it/ricca/aspide