Skip to content

update to clingo 5.4.0
Compare
Choose a tag to compare
@sthiele sthiele released this 04 Nov 12:49
· 262 commits to master since this release
v.0.5.0
6bbb424

Changed

  • use clingo-sys 0.5.0
  • improve API added functions for the AST
  • correct lifetime of objects
Assets 2
Loading