Online Demo

This online demo of the dlvhex system allows for evaluating programs without local installation. This is intended mainly for testing and learning purposes. External sources for the program at the top may be directly implemented in a Python script below.

Please check out the predefined examples at the upper right corner for a quick overview or consider the links to the system documentation in the right-hand menu for a more detailed description.

(The online demo currently runs DLVHEX 2.5.0 [build Aug 22 2016 gcc 4.8.2])


Load example:

Use advanced editor (powered by EditArea)



External Source Definition (Python):


Command-line Options:


Filter predicates (comma-separated):
Number of answer sets to compute
(empty or 0 means all):
Allow strong negation:
Liberal safety:
Custom options:


Please prepare your input and click 'Evaluate' to run the reasoner


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

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