dlvhex solver for hex programs online with Winfy

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


Quick description about dlvhex solver for hex programs:

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++.
Categories:
Artificial Intelligence, Database Engines/Servers, Interpreters

©2024. Winfy. All Rights Reserved.

By OD Group OU – Registry code: 1609791 -VAT number: EE102345621.