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.