Skip to content

0.5.10
Compare
Choose a tag to compare
@daemontus daemontus released this 23 Jan 17:30
· 63 commits to master since this release
v0.5.10
8ebb23d

Fix a bug in BddVariableSet.mk_dnf and BddVariableSet.mk_cnf which returned an incorrect constant Bdd in some edge cases.

Assets 2
Loading