Download
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
License
GNU General Public License version 2.0 (GPLv2)Follow Interactive BDD Environment
Other Useful Business Software
Error to trace to log to deploy. One click. No SSH.
AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Interactive BDD Environment!