Software for HEX-Programs

@hexhex

Pinned Loading

DLVHEX solver: core system and plugin API

C++ 25 8
Python-based HEX implementation for a fragment of the HEX language and a subset of features.

Python 15 5
Manual for the HEX language and the dlvhex and hexlite solvers

TeX 1

Showing 10 of 34 repositories

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.

hexhex/hexlite’s past year of commit activity

Python
15
MIT
5 3 2
Updated Jan 4, 2022
hexhex/hexlite-owlapi-plugin’s past year of commit activity

Java
3
MIT
1 1 2
Updated Jan 4, 2022
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
hexhex/inconsistencyanalysis’s past year of commit activity

Python 0 0
0 0
Updated Sep 26, 2018
hexhex/rdfplugin’s past year of commit activity

Python
1
0
0 0
Updated Sep 26, 2018

Loading…