Skip to content

Updated AVL src from 3.35 to 3.40 and CDCL fix

Latest
Latest
Compare
Choose a tag to compare
@joanibal joanibal released this 15 Jun 15:46
v1.7.0
7f75ace
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
  • Updated the source from 3.35 to 3.40. See AVL version log here
    • No major changes to functionality
  • fixed CDCL data not getting read or written correctly
Assets 2