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.

Project Activity

See All Activity >

Categories

Database Engines/Servers, Interpreters, Artificial Intelligence

License

GNU Library or Lesser General Public License version 2.0 (LGPLv2)

Follow DLVHEX solver for HEX-programs

DLVHEX solver for HEX-programs Web Site

Other Useful Business Software
Gen AI apps are built with MongoDB Atlas Icon
Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
Start Free
Rate This Project
Login To Rate This Project

User Reviews

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

Additional Project Details

Operating Systems

Linux, BSD

Intended Audience

Science/Research

User Interface

Non-interactive (Daemon), Command-line

Programming Language

C++

Related Categories

C++ Database Engines Servers, C++ Interpreters, C++ Artificial Intelligence Software

Registered

2008-01-04
Report inappropriate content