dlvhex solver for hex programs to run in linux online online with Winfy

We have hosted the application dlvhex solver for hex programs to run in linux online in order to run this application in our online workstations with Wine or directly.

Quick description about dlvhex solver for hex programs to run in linux online:

dlvhex is a prototype solver for HEX-programs which integrate Answer-Set Programs with higher-order reasoning and external computation sources. It comes with a full-fledged plug-in framework for rapid extension development.

Audience: Science/Research.
User interface: Command-line, Non-interactive (Daemon).
Programming Language: C++.

.