{"id":3786,"date":"2020-04-01T07:58:48","date_gmt":"2020-04-01T05:58:48","guid":{"rendered":"http:\/\/www.dlvsystem.it\/dlvsite\/?page_id=3786"},"modified":"2022-03-08T17:13:11","modified_gmt":"2022-03-08T16:13:11","slug":"aspide","status":"publish","type":"page","link":"https:\/\/www.dlvsystem.it\/dlvsite\/aspide\/","title":{"rendered":"ASPIDE"},"content":{"rendered":"
<\/div><\/div><\/span>

ASPIDE<\/h2><\/span>
<\/div><\/div><\/div>

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.<\/span><\/p>\n<\/div>

<\/i><\/i><\/span>Licensing<\/span><\/a><\/h4><\/div>
\n

ASPIDE is free for academic and non-commerical educational use, as well as for use by non-profit organisations.\u00a0<\/span><\/p>\n

Licences for commercial use can be requested by writing to info@dlvsystem.com<\/span><\/p>\n<\/div><\/div><\/div>

<\/i><\/i><\/span>Download<\/span><\/a><\/h4><\/div>
\n

To download please visit ASPIDE website<\/a>. (External link)<\/p>\n<\/div><\/div><\/div><\/div><\/div>

<\/i><\/i><\/span>Documentation<\/span><\/a><\/h4><\/div>
\n

The ASPIDE manual is available here<\/a>.<\/span><\/p>\n<\/div><\/div><\/div>

<\/i><\/i><\/span>Research & Publications<\/span><\/a><\/h4><\/div>
\n