hexhex/hexlite

Issues

• refactor directory structure for tests: create directory tests/inputs/

  #12 opened 5 years ago by peschue
  0

• make better error message if external atom is used with wrong input arity

  #10 opened 5 years ago by peschue
  1

• implement parsing using clingo.ast (if possible)

  #9 opened 5 years ago by peschue
  2

• add benchmarks that involve recursion through (S) type external atoms

  #8 opened 6 years ago by peschue
  0

• report benchmark results not only in the papers but also in the repo

  #7 opened 6 years ago by peschue
  0

• use conda to install pyclingo dependency in travis

  #4 opened 7 years ago by peschue
  0

• create test case out of description of bug in PR #2

  #3 opened 7 years ago by peschue
  0