DLVHEX solver for HEX-programs

Add a Review
1 Download (This Week)
Last Update:
Download dlvhex-2.3.0.tar.gz
Browse All Files
BSD Mac Linux

Description

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.

DLVHEX solver for HEX-programs Web Site

Update Notifications





Write a Review

User Reviews

Be the first to post a review of DLVHEX solver for HEX-programs!

Additional Project Details

Intended Audience

Science/Research

User Interface

Command-line, Non-interactive (Daemon)

Programming Language

C++

Registered

2008-01-04
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.