Skip to content

#552 Fix BDD variable order option name in CIF documentation.

Dennis Hendriks requested to merge 552-fix-bdd-variable-order-option-name-in-cif-documentation into develop
  • Rename 'BDD variable order' option in CIF docs to correct name.
  • Improve JavaDoc of BddVariableOrderOption class.

Closes #552 (closed)

Merge request reports

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