February 20, 2019

The IMAP Plugin for the Python Acthex Implementation of Hexlite is available!

April 12, 2016

Version 2.5.0 is out!

New features:

In addition it provides bugfixes and numerous optimizations.

January 31, 2015

We are happy to announce an online demo of dlvhex.

It allows for evaluating simple HEX-programs in the browser without local installation. Also customized external atoms may be specified in a Python script directly in the browser.

September 24, 2014

Version 2.4.0 is out!

New features:

In addition it provides numerous bugfixes and optimizations and the solver backend was upgraded to gringo 4.4.0 and clasp 3.1.0.

December 14, 2013

Version 2.3.0 is out!

This version features several performance improvements, fine-tuning of heuristics, bug-fixes and has increased stability.

August 19, 2013

Version 2.2.0 is out!

October 18, 2012

Version 2.1.0 is out!

We moved to!

March 12, 2012

Version 2.0.0 is out!


dlvhex source code @

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
IMAP Acthex Plugin

User Guide
Writing Plugins in C++
Writing Plugins in Python