View source
wip
  • Contributors
    1. Loading...
Author Commit Message Date Builds
Peter Schüller
closure for timing runpy
Peter Schüller
stripping all comment facts
Peter Schüller
removing comment facts to make the comparison with dlvhex more fair
Peter Schüller
removing WA and projection and tuple comparison for dlvhex2 compatibility
Peter Schüller
fixing skolemization was broken due to migration to clingo 5.3 API
Peter Schüller
less redundancy in encodings for jelia
Peter Schüller
warning about overwriting files
Peter Schüller
also doing UF mode and changing hexflex to flex in file names because it is obvious from the engine
Peter Schüller
eqtom transitivity
Peter Schüller
new encoding collection for hex
Peter Schüller
unnecessary line
Peter Schüller
fixing a bug that did not have an effect so far
Peter Schüller
new encodings for HEX skolemization
Peter Schüller
only exporting shown atoms (as done originally)
Peter Schüller
adapting grounding context / external to clingo 5.3 API
Peter Schüller
porting to Python 3 and clingo 5.3.0
Peter Schüller
migrating to Python3
Peter Schüller
making it clear that Python 2 is used