◐ Shell reader mode source ↗

Software for HEX-Programs

Pinned Loading

core core Public

DLVHEX solver: core system and plugin API

C++ 25 8
hexlite hexlite Public

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

Python 15 5
manual manual Public

Manual for the HEX language and the dlvhex and hexlite solvers

TeX 1

Repositories

Type

Language

Sort

ehex Public
Epistemic Logic Program Solver Using HEX Programs

hexhex/ehex’s past year of commit activity

Python 2 0 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 15 MIT 5 3 2 Updated Jan 4, 2022
hexlite-owlapi-plugin Public
An OWLAPI Plugin for the Hexlite solver

Java 3 MIT 1 1 2 Updated Jan 4, 2022
website Public

hexhex/website’s past year of commit activity

HTML 0 0 0 0 Updated Feb 18, 2021
manual Public
Manual for the HEX language and the dlvhex and hexlite solvers

hexhex/manual’s past year of commit activity

TeX 1 0 0 0 Updated May 18, 2020
imapplugin Public
Plugin for interacting with an IMAP server via acthex (compatible with hexlite).

hexhex/imapplugin’s past year of commit activity

Python 1 GPL-3.0 0 0 0 Updated Apr 6, 2020
core Public
DLVHEX solver: core system and plugin API

hexhex/core’s past year of commit activity

C++ 25 LGPL-2.1 8 26 0 Updated Jun 13, 2019
aspq Public
Reasoner frontend for Answer set programs with queries over subprograms

hexhex/aspq’s past year of commit activity

Shell 0 0 0 0 Updated Sep 27, 2018
inconsistencyanalysis Public

hexhex/inconsistencyanalysis’s past year of commit activity

Python 0 0 0 0 Updated Sep 26, 2018
rdfplugin Public

Python 1 0 0 0 Updated Sep 26, 2018

View all repositories

People

Top languages

Loading…

Most used topics

Loading…