Software for HEX-Programs

ehex Public

Epistemic Logic Program Solver Using HEX Programs

Python 20 0 0 Updated Sep 28, 2022

hexlite Public

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

Python 14MIT 5 3 2 Updated Jan 4, 2022

An OWLAPI Plugin for the Hexlite solver

Java 3MIT 1 1 2 Updated Jan 4, 2022

website Public

HTML0 0 0 0 Updated Feb 18, 2021

manual Public

Manual for the HEX language and the dlvhex and hexlite solvers

TeX 10 0 0 Updated May 18, 2020

Plugin for interacting with an IMAP server via acthex (compatible with hexlite).

Python 1GPL-3.0 0 0 0 Updated Apr 6, 2020

core Public

DLVHEX solver: core system and plugin API

C++ 25LGPL-2.1 8 26 0 Updated Jun 13, 2019

aspq Public

Reasoner frontend for Answer set programs with queries over subprograms

Shell0 0 0 0 Updated Sep 27, 2018

Python0 0 0 0 Updated Sep 26, 2018

Python 10 0 0 Updated Sep 26, 2018

Provide feedback