Skip to content

1.6
Compare
Choose a tag to compare
@pauleve pauleve released this 30 Aug 14:21
· 48 commits to master since this release
v1.6
e1d7509
  • add fixedpoints method to list fixed points and reachable fixed points
  • use --single-shot method for improved performance with clingo ≥ 5.5
Assets 2