Skip to content

8.0.0
Compare
Choose a tag to compare
@dhendriks dhendriks released this 01 Aug 13:33
· 17 commits to master since this release
8.0.0
9d3efeb

[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.
Assets 2
Loading