Skip to content

#610 CIF data-based synthesis BDD operation cache size/ratio improvements and fixes

Dennis Hendriks requested to merge 610-cif-datasynth-bdd-op-cache-ratio-size-fixes into develop
  • Upgrade from JavaBDD 5.0.0 to 6.0.0, to fix the inverted BDD operation cache ratio bug, also improving the precision of the option.
  • Improved and extended the CIF data-based synthesis performance documentation.
  • Improved the documentation of the BDD operation cache size/ratio options.

Closes #610 (closed)

Merge request reports

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent