Hexlite – A Lightweight HEX Solver


The Hexlite solver is a lightweight alternative to dlvhex for logic programs with a restricted set of external computations.

The solver was created with lightweightness as a principle, using Python as the only programming language and delegating as much as possible to the backend solver which is currently Clingo.

The software is publicly available at github.com/hexhex/hexlite and includes a lightweight Acthex implementation.

The software is also available as a Docker container on https://www.ai4eu.eu/resource/hexlite.