News

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 github.com/hexhex!

March 12, 2012

Version 2.0.0 is out!

 

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