Skip to content

clingcon version 3.1.2
Compare
Choose a tag to compare
@MaxOstrowski MaxOstrowski released this 28 Oct 12:01
· 275 commits to master since this release
v3.1.2
4d8501a
  • bugfix for non gringo aspif
  • bugfix for "is" benchmark class bug
  • removed trailing whitespaces from source
Assets 3
Loading