USER REVIEWS
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++...
WRITE USER REVIEW