Version 1.5

• BDD nodes can be highlighted by hovering the cursor over them
• While creating BDDs, levels are shown on the left

Version 1.4

• New animation for nodes changing their children
• Root nodes now show the original operation responsible for creating them
• The formula parser now supports comments, as well as operators && and || as aliases for binary AND and OR
• Coloured nodes have a slightly darker background
• Fixed a few bugs regarding DPI scaling

Version 1.3

Bugfix release

Version 1.2

Major features:

• Boolean formula support
• Native UI and Linux support
• Improved BDD labels

Version 1.1

v1.1

Version 1.1 release.