Skip to content

7.0.0
Compare
Choose a tag to compare
@dhendriks dhendriks released this 11 Jun 08:47
· 31 commits to master since this release
7.0.0
9c15b89

[7.0.0] - 2024-06-11

  • Several new operations for BDDs were added, namely relnext, relnextIntersection, relprev and relprevIntersection.
  • A proper OutOfMemoryError is now thrown when the BDD nodes array is to be resized larger than the Java array limit, rather than crashing with a NegativeArraySizeException.
  • The BDD node array can now be resized to the largest size supported by Java, before getting an OutOfMemoryError on the next resize, thus allowing slightly larger problems to be solved with JavaBDD.
  • Extended the README file with information about where to find the plugin on Maven Central.
  • Improved the copyright headers in source files.
Assets 2
Loading