Skip to content

v1.2.0

Choose a tag to compare

@rkaminsk rkaminsk released this 23 Sep 21:38
· 15 commits to master since this release
4089afe

Packages

Changes

  • make compatible with clingo 5.6
  • add module to ease unit testing
  • add pretty printing module
  • extend AST module