Best Way to Get Help

DLVHEX solver for HEX-programs says the best way to get help with its software is by using its mailing list dlvhex-devel.

Other Ways Of Getting Help

Here are some other places where you can look for information about this project.

Project Mailing Lists

Project Homepage

This project has a homepage which can be found at http://www.kr.tuwien.ac.at/research/systems/dlvhex/.