dlvhex 2005-07-28 HEX-program solver dlvhex is the name of a prototype application for computing the models of so-called HEX-programs, which are an extension of Answer-Set Programs towards integration of external computation sources. C++ Thomas Krennwallner 4fbf23f97eb1c36561a72379cea71095200fbd60 Peter Schüller