|
Size: 77
Comment:
|
Size: 1558
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 2: | Line 2: |
| # NOTE: i link puntano per lo più ai vecchi file. Usare il wiki nel futuro per gli attachment. = The DLT Home Page = ---- == About DLT == DLT is a frontend for disjunctive datalog, extending the [http://www.dlvsystem.com DLV system] with Template predicates. ---- == The Team == Project Coordinator * [http://www.gibbi.com Giovambattista Ianni] Sr. Developers * Francesco Calimeri, Giuseppe Ielpa (emeritus) Jr. Developers * Susanna Cozza, Adriana Pietramala , Maria Carmela Santoro Have a look at our [http://sv.mat.unical.it/~ianni/dlpt/gallery.htm gallery!] ---- == Downloads == At the moment we provide only a Linux (i586) binary and a Windows binary. Other systems' executables will be sooner available. |
|
| Line 3: | Line 20: |
| =The DLT Home Page= | * Download the latest linux (i586) version ([http://sv.mat.unical.it/~ianni/dlpt/dlpt.linux.1.1.zip 1.1]). * Download the latest windows version ([http://sv.mat.unical.it/~ianni/dlpt/DLT_WIN.zip 1.1]). # Portare quest'ultimo in Wiki format. * The DLT [http://sv.mat.unical.it/~ianni/dlpt/DLT_Manual.htm Manual]. Note: since DLT invokes DLV, you will need the DLV executable. Please find all versions at the official [http://www.dlvsystem.com webpage]. A limited compatibility with other solvers such as [http://www.tcs.hut.fi/Software/smodels/ Smodels] is also provided. Check DLT official web page for news. To receive notifications about new releases and/or other important events regarding DLT, please contact us at dlpt@mat.unical.it. |
The DLT Home Page
About DLT
DLT is a frontend for disjunctive datalog, extending the [http://www.dlvsystem.com DLV system] with Template predicates.
The Team
- Project Coordinator
[http://www.gibbi.com Giovambattista Ianni] Sr. Developers
- Francesco Calimeri, Giuseppe Ielpa (emeritus) Jr. Developers
- Susanna Cozza, Adriana Pietramala , Maria Carmela Santoro
Have a look at our [http://sv.mat.unical.it/~ianni/dlpt/gallery.htm gallery!]
Downloads
- At the moment we provide only a Linux (i586) binary and a Windows binary. Other systems' executables will be sooner available.
Download the latest linux (i586) version ([http://sv.mat.unical.it/~ianni/dlpt/dlpt.linux.1.1.zip 1.1]).
Download the latest windows version ([http://sv.mat.unical.it/~ianni/dlpt/DLT_WIN.zip 1.1]).
# Portare quest'ultimo in Wiki format.
The DLT [http://sv.mat.unical.it/~ianni/dlpt/DLT_Manual.htm Manual].
Note: since DLT invokes DLV, you will need the DLV executable. Please find all versions at the official [http://www.dlvsystem.com webpage]. A limited compatibility with other solvers such as [http://www.tcs.hut.fi/Software/smodels/ Smodels] is also provided.
Check DLT official web page for news. To receive notifications about new releases and/or other important events regarding DLT, please contact us at dlpt@mat.unical.it.