Skip to content

0.4.1
Compare
Choose a tag to compare
@daemontus daemontus released this 21 Oct 11:47
· 121 commits to master since this release
v0.4.1
e0e4ee6

This is just a minor release that adds a utility method for computing the most specific conjunctive clause that is satisfied by all BDD valuations.

Assets 2
Loading