#acl DltGroup:read,write,revert,admin All:read
# 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. 

 * 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.
----