DLVHEX solver for HEX-programs

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


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


User Interface

Command-line, Non-interactive (Daemon)

Programming Language



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.