JeddJava Extension for Decision Diagrams | |
Download |
Jedd Ranking & Summary
Advertisement
Jedd Tags
- analysis extension Java decision decision advisor business decision decision program Decision Maker program analysis decision diagram decision displayer right decision analyze decision decision algorithm test decision algorithm java.lang extension decision ranking decision helper Java Extension binary decision diagram
Jedd Description
Jedd is a Java language extension designed for implementing program analyses using binary decision diagrams (BDDs). BDDs are abstracted in Jedd as a new primitive data type, database-style relations. Jedd is based on the Polyglot extensible compiler framework. Currently, Jedd supports four BDD libraries as backends: BuDDy, CUDD, SableJBDD, and JavaBDD. Give Jedd a try to see how useful it can be if you use it in your programming projects!
Jedd Related Software