Robdds freeware
Robdds
Added: May 03, 2010 | Visits: 1.211
Interactive BDD Environment project is a shell like utility for working with ROBDDs. IBEN is a tool used for teaching Reduced Ordered Binary Decision Diagrams. It allows the student to work with ROBDDs without learning a complex C or C++ interface to an ROBDD package. One can enter the...
Platforms: *nix
License: Freeware | Size: 102.4 KB | Download (104): Interactive BDD Environment Download |