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
AI-powered service management for IT and enterprise teams Icon
AI-powered service management for IT and enterprise teams

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
Try it Free
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

Linux, BSD

Languages

English

Intended Audience

Science/Research, Education

Programming Language

C++

Related Categories

C++ Scientific Engineering, C++ Education Software

Registered

2003-02-27