DLV download
DLV is an Answer Set Programming (ASP) system based on disjunctive logic programming, which offers front-ends to several advanced KR (Knowledge Representation) formalisms. The system supports a language based on a logical formalism with high expressive power, enabling programs to represent complex practical problems even in the presence of incomplete or contradictory knowledge.
Originally released in 1997 after years of theoretical research, the system has been continuously improved, incorporating new features and advanced optimization techniques across all engine modules. Today, DLV represents the latest evolution of the system, seamlessly integrating the grounder I-DLV and the solver WASP.
Licensing
DLV is free for academic, non-commercial educational use, and for use by non-profit organizations. For commercial licensing inquiries, please contact us.
Download
DLV version 2.1.2 – static executables without support to Python – Release Date: 2023-10-24
dlv-2.1.2-linux-x86_64 (4.9 MB)
dlv-2.1.2-macos-arm64 (2.9 MB)
dlv-2.1.2-macos-x86_64 (3.2 MB)
References
DLV 2 is based on the ASP-Core-2 standard language. For further technical details, please refer to this paper.