Support
An introduction to dlvhex and some examples and code snippets can be found in the User Guide.Mailing Lists
Discussions and help shall be fostered by the following public mailing lists. You can easily subscribe to a mailing list by visiting the appropriate link below.
| Mailing list | Purpose |
|---|---|
| dlvhex-announce | News about dlvhex releases (low volume) |
| dlvhex-devel | dlvhex development and usage discussion |
| dlvhex-nightlies | dlvhex nightly build logs |
| dlvhex-notify | svn commit notification (high volume) |
Bug Tracking
If you find bugs in dlvhex, please send us a bug report.
Development related tasks are being managed at the issue tracker of github.com. If you want to help us, just create a github account and write us an email.
As usual, if you run into troubles building dlvhex or some plugins, just drop us an email or subscribe to the dlvhex-devel mailing list.
Online Source Browser
all repositories
dlvhex development version
dlvhex release 2.X
dlvhex release 1.X
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