@rkaminsk rkaminsk released this Oct 5, 2017 · 2 commits to master since this release

Assets 4

We made sure that the sections about the core language are up to date but there are still unfinished sections.

  • upgrade all code to clingo series 5
  • describes asprin series 3