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.
License
GNU Library or Lesser General Public License version 2.0 (LGPLv2)Follow DLVHEX solver for HEX-programs
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of DLVHEX solver for HEX-programs!