|
Size: 2363
Comment: Add links to binaries
|
Size: 2648
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 40: | Line 40: |
| == Latest Libraries == ListAndSet library is needed in order to exploit built-in manipulation functions/predicates for list and set terms. * Download latest [attachment:ListAndSet.so linux version] (.so) * Download latest [attachment:ListAndSet.dll windows version] (.dll) |
DLV-Complex: The Project
DLV-Complex is an Answer Set Programming System extending [http://www.dlvsystem.com DLV] by means of functions. It is a very powerful ASP system supporting (recursive) functions, sets, and lists, along with libraries for their manipulations.
DLV-Complex is based on the [http://www.dlvsystem.com DLV] system and on the [http://www.mat.unical.it/ianni/wiki/dlvex DLV-EX] framework.
[#TOC Top of Page]
The Team
[http://www.mat.unical.it/calimeri Francesco Calimeri], [mailto:cozza{NOSPAM-at-NOSPAM}mat.unical.it Susanna Cozza] , [http://www.gibbi.com Giovambattista Ianni], [http://www.mat.unical.it/~leone Nicola Leone]
[#TOC Top of Page]
Downloads
DLV-Complex is actively developed. To receive notifications about new releases and other important events regarding DLV-EX, just have a look at this page, or drop us a note [mailto:dlv-ex@mat.unical.it here].
Please always use the most current version of DLV-EX (cf. [#history version history]).
Latest Version
We currently offer a command-line version in binary form for linux and Windows 95/98/NT/2000/XP/Vista.
- Download latest [attachment:dl-complex.linux.0.9.beta linux version]
- Download latest [attachment:dl-complex.win.0.9.beta windows version]
Latest Libraries
ListAndSet library is needed in order to exploit built-in manipulation functions/predicates for list and set terms.
Download latest [attachment:ListAndSet.so linux version] (.so)
Download latest [attachment:ListAndSet.dll windows version] (.dll)
[#TOC Top of Page]
Documentation & Examples
We will provide soon an online manual and a online tutorial; they will be updated accordingly to the evolution of the system, so check them out periodically.
For a full documentation on DLV please visit the official [http://www.dlvsystem.com web page].
Check the official [http://www.mat.unical.it/ianni/wiki/dlvex web page] of DLV-EX out for docs and info.
[#TOC Top of Page]
History
- June 2008
Available soon.
- Previous versions
...did not carry a real version identification.
[#TOC Top of Page]
Selected Publications
Some selected publications will be listed here.
[#TOC Top of Page]