DLV

DLV is an Answer Set Programming system, based on disjunctive logic programming, which offers front-ends to several advanced KR formalisms. The system supports a language based on a logical formalisms with a very high expressive power so that programs are able to represent relevant practical problems in presence of incomplete or contradictory knowledge. The first release of the system became available in 1997, after several years of theoretical research. It has been significantly improved over and over in the last years, incorporating new features and relevant optimisation techniques in all modules of the engine. Nowadays it combines the grounder I-DLV and the solver WASP.

Licensing

DLV is free for academic and non-commerical educational use, as well as for use by non-profit organisations. For further information for commercial use, please visit this website.

Download

DLV version 2.1.2 - static executables without support to Python - Release Date: 2023-10-24

DLV version 2.1.1 - static executables without support to Python - Release Date: 2022-02-23

DLV version 2.1.0 - static executables without support to Python - Release Date: 2021-01-18

DLV version 2.1.0 - static executables with support to Python External atoms - Release Date: 2021-05-24

We currently provide two binaries for Linux x86_64 supporting Python External atoms : it is required the specified version for the Python interpreter.  In order to install a specific interpreter, one can for instance, install a virtual environment (e.g., via anaconda).

Legacy