Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 956 Categories, Downloaded 50.479.605 Times

Robdds freeware
 

Robdds

Added: May 03, 2010 | Visits: 1.211

Interactive BDD Environment 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