The IMAP Plugin for the Python Acthex Implementation of Hexlite is available!
Version 2.5.0 is out!
New features:
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.
Version 2.4.0 is out!
New features:
Version 2.3.0 is out!
This version features several performance improvements, fine-tuning of heuristics, bug-fixes and has increased stability.
Version 2.2.0 is out!
Version 2.1.0 is out!
We moved to github.com/hexhex!
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
IMAP Acthex Plugin
Documentation
User Guide
README
doxygen
Writing Plugins in C++
Writing Plugins in Python