Repository

https://github.com/DeMaCS-UNICAL/I-DLV-web-page.git

Project Slug

i-dlv

Last Built

1 year, 11 months ago passed

Maintainers

Home Page

https://i-dlv.readthedocs.io/en/latest

Badge

Tags

advansed, answer-set-programming, asp-core-2, basic, clasp, datalog, dlv, i2dlv, i-dlv, incremental, reasoner, wasp

Short URLs

i-dlv.readthedocs.io
i-dlv.rtfd.io

Default Version

latest

'latest' Version

latest