This is a docker container containing the Hexlite solver, which is a solver for a fragment of the HEX language and for Python-based plugins which is based on Python interfaces of Clingo and does not contain any C++ code itself. The intention is to provide a lightweight system for an easy start with HEX. The vision is that Hexlite can use existing Python plugins and runs based on the Clingo python interface, without realizing the full power of HEX.
Logic Programming is inherently discrete and contains a deterministic definition of what is a true answer. There is no learning of semantics involved, therefore answers of logic programs can be explained, they have transparent semantics.
This tool contains no GDPR-relevant data or functionality. It processes data given by users in the way described by programs given by users.