Skip to content

v0.1.0
Compare
Choose a tag to compare
@seliopou seliopou released this 13 Nov 21:07
· 16 commits to master since this release
v0.1.0
661e22f

Initial Release

  • Support for reduced ordered binary decision diagrams (Bdd module)
  • Support for two generalizations of BDDs
    • Vcr module: semi-ring values as results and variable, constant assignments as decision nodes
    • Vlr module: semi-ring values ss results and variable, lattice assignments as decision nodes
Assets 2
Loading