Skip to content

clingo version 5.2.1
Compare
Choose a tag to compare
@rkaminsk rkaminsk released this 04 Aug 12:12
· 945 commits to master since this release
v5.2.1
77fa49b
  • update to clasp version 3.3.2
  • fix handling of istop in incmode programs
  • fix handling of undefined ** operations
  • fix preprocessing of disjunctions with undefined operations
    (regression in clingo-5)
  • fix segfault during preprocessing
    (regression in clingo-5)
Assets 5
Loading