Pinned Loading

1. core core Public

   DLVHEX solver: core system and plugin API

   C++ 25 8

2. hexlite hexlite Public

   Python-based HEX implementation for a fragment of the HEX language and a subset of features.

   Python 15 5

3. manual manual Public

   Manual for the HEX language and the dlvhex and hexlite solvers

   TeX 1