9.0.0

[9.0.0] - 2024-09-26

• BDD.pathCount and BDD.satCount now return a BigInteger rather than a double, giving better precision for larger BDDs, and preventing wrong results for very large BDDs, at the cost of being a bit slower and requiring more memory for the cache in which the results for these operations are stored.
• BDDDomain.getVarIndices methods no longer produce invalid results in case of too many satisfying assignments to fit in a Java array, but instead throw an exception.
• BDDFactory now has setSaturationCallback and unsetSaturationCallback methods, that allow configuring a callback for the various saturation reachability computation operations.
  The callback is invoked after each application of a transition during saturation reachability computations, allowing to print debug information, check for termination requests, and so on.

8.0.0

[8.0.0] - 2024-08-01

• Several new operations for BDDs were added, namely relnextUnion, relprevUnion, saturationForward, boundedSaturationForward, saturationBackward and boundedSaturationBackward.
• Fixed an integer overflow bug, which may trigger while checking for the need to resize the node array, causing large node arrays to grow unnecessary.

7.0.0

[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.

6.0.0

[6.0.0] - 2023-06-14

• Inverted the meaning of the operation cache ratio option, and improved its precision and documentation.

5.0.0

[5.0.0] - 2023-04-25

• Added an OSGi-compatible manifest.
• Improved Maven metadata.

4.0.0

[maven-release-plugin] copy for tag 4.0.0

3.0.0

[maven-release-plugin] copy for tag 3.0.0

2.0.0

[maven-release-plugin] copy for tag 2.0.0

1.0.1

[maven-release-plugin] copy for tag 1.0.1

1.0.0

[maven-release-plugin] copy for tag com.github.javabdd-1.0.0