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