GeezerVison is showing github.com — Software for HEX-Programs
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
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
ASP
C++
HTML
Java
M4
Perl
Python
Shell
TeX
Web Ontology Language
Sort
Showing 10 of 34 repositories
ehex
Public
Epistemic Logic Program Solver Using HEX Programs
hexhex/ehex's past year of commit activity
Python
3
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
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.