IBEN is the interactive BDD environment. It allows you to declare, manipulate and visualize reduced ordered binary decision diagrams (ROBDDs). It was designed as a learning tool, although it is useful whenever you need to manipulate BDD interactively and

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow Interactive BDD Environment

Interactive BDD Environment Web Site

Other Useful Business Software
Error to trace to log to deploy. One click. No SSH. Icon
Error to trace to log to deploy. One click. No SSH.

Catch the cause before the pager goes off.

AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
Free 30 days.
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Interactive BDD Environment!

Additional Project Details

Operating Systems

BSD, Linux

Languages

English

Intended Audience

Education, Science/Research

Programming Language

C++

Related Categories

C++ Scientific Engineering, C++ Education Software

Registered

2003-02-27