Skip to content

Releases: potassco/python-clingox

v1.2.1

Choose a tag to compare

@rkaminsk rkaminsk released this 15 Feb 20:53
de8fc93

Packages

Changes

  • fix printing of weight rules (#39)
  • fix printing of external directives (#45)
  • add function to remove function symbols from AST (#41)

v1.2.0

Choose a tag to compare

@rkaminsk rkaminsk released this 23 Sep 21:38
4089afe

Packages

Changes

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

v1.1.0

Choose a tag to compare

@rkaminsk rkaminsk released this 05 May 11:32
b329a4a

Packages

Changes

  • add a new module to reify programs (#9)
  • add a new function to reify atoms (#10)

v1.0.1

Choose a tag to compare

@rkaminsk rkaminsk released this 13 Jun 14:43
3741499

Packages

Changes

  • fix metadata

v1.0.0

Choose a tag to compare

@rkaminsk rkaminsk released this 23 Apr 17:40
73ab759

Packages