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
One Monitoring Tool for IT, OT and Cloud | Free Trial
Modern infrastructure spans data centers, cloud platforms and factory floors, and every blind spot between them is a risk. PRTG supports SNMP, WMI, SSH and other standard protocols to monitor IT, OT and hybrid environments through one customizable dashboard. Build the views your team needs, from network health to application performance, without switching tools. Try PRTG free for 30 days now.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Interactive BDD Environment!
