Download Binaries

You can download pre-built stable release versions of dlvhex and its plugins from this page.

You will need the dlvhex core in any case. It provides base functionality such as the evaluation of ASP- and HEX-programs and can be extended with the plugins listed below.

If you are using operating systems which are not listed below, or if you prefer to build from sourcecode for other reasons, please visit the Download Sourcecode page.

Note that this page is only about dlvhex 2.X because dlvhex 1.X is no longer supported and should not be used anymore. However, if you depend on 1.X (e.g. because a plugin is not available for 2.X), you may visit the old download page (distribution as sourcecode only).

dlvhex core

The current dlvhex release is 2.5.0 (2016-04-12):

dlvhex core Linux OS X Windows Description
dlvhex core 2.5.0 Download Download Download The core system (required for all plugins below).

Plugins

Download the pre-built plugin for your operating system from below and extract it to a sub-directory called plugins, located relative to the dlvhex2 core binary.

If a pre-built plugin is missing for your operating system, you can also download the sourcecode from the Download Sourcecode page and build it on your own.

Plugin Linux OS X Windows Description
Action Plugin Download Action Plugin, see the action-plugin documentation.
Action Addons Download Action Addons, see the action-plugin documentation.
MCSIE Plugin Download MCS-IE Plugin, see the MCS-IE homepage.
Nested HEX Plugin Download Nested HEX Plugin, see the nested hex-plugin documentation
String Plugin Download Operates on strings, see the string-plugin documentation

Requirements

dlvhex requires Python 2.7.8.

Note for Windows users: You can download and install Python from here. Please make sure to use the 32 bit version (even when using a 64 bit Windows) and to select the "Add python.exe to Path" option during installation.

On Linux, please also make sure to install libtool in order to be able to use plugins.

 

General
dlvhex source code @ github.com
Description-Of-A-Project

Popular Plugins
Action Plugin
DecisionDiagrams Plugin
Description Logics Plugin
Description Logics Lite Plugin
MELD: Belief Merging Plugin
Nested HEX Plugin
MCSIE Plugin
String Plugin
dlvhex-semweb Project

Documentation
User Guide
README
doxygen
Writing Plugins in C++
Writing Plugins in Python