Jedd Java Extension for Decision Diagrams
Download

Jedd Ranking & Summary

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