Software Developed by kr.tuwien.ac.at

DLVHEX solver for HEX-programs  v.2.0.0

dlvhex is a prototype solver for HEX-programs which integrate Answer-Set Programs with higher-order reasoning and external computation sources.

Newest Reviews