Skip to content

v4.3.0

Latest
Compare
Choose a tag to compare
@andrewcropper andrewcropper released this 25 Jun 13:16
· 1 commit to main since this release
  • temporary horrible hack for annoying janus memory issue
  • minor improvements to ALAN ASP encoding
  • backtrack prune consistent programs