Skip to content

v1.2.0

Compare
Choose a tag to compare
@rkaminsk rkaminsk released this 23 Apr 15:01
· 58 commits to master since this release
bfffb13

Packages

Changes

  • update to clingo 5.5.0
  • more flexible syntax for &diff constraints
  • add support for pip
  • various bug fixes