Skip to content

ADF-BDD can now do stable models

Pre-release
Pre-release
Compare
Choose a tag to compare
@ellmau ellmau released this 11 Jan 13:08
· 104 commits to main since this release
v0.1.3-alpha
07d1516
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Implements #12

  • Implement Stable Models based on lazy evaluated iterators
  • Adjustment of the internal computation of the grounded interpretation
  • Update build.rs to replace "@" in test-instance names with "at"
  • Implement de-/serialization of the adf (in OBDD representation) in library
  • Implement better tests
  • Add more style-restrictions to compiler
Assets 8
Loading