Interactive BDD Environment 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

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

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

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

Similar Business Software

Coursebox AI

Transform your content into engaging eLearning experiences with Coursebox, the #1 AI-powered eLearning authoring tool. Our platform automates the course creation process, allowing you to design a structured course in seconds. Simply make edits, add any missing elements, and your course is ready...

See Software
myACI

ACI Learning delivers hands-on IT and cybersecurity training built for modern teams. Expert-led videos, interactive labs, and certification prep for today’s top credentials turn knowledge into real-world skill. Whether you’re training a team or advancing your career, myACI makes it easy to...

See Software
Synap

Synap is an award-winning exam platform that empowers organisations to deliver secure, online exams with ease. Save time and reduce your workload for creating, marking, and analysing exams. Customise your tests with multiple-choice and written question types, timers, randomisation, and...

See Software
Mentornity

Trusted by top-tier organizations and award-winning mentoring initiatives worldwide. Mentornity is your all-in-one platform for crafting impactful, sustainable mentoring engagements. Elevate Your Program: ✔️ Advanced Analytics: Gain deep insights into program effectiveness. ✔️...

See Software
Emtrain

Help employees adapt to the real-world complexity of the 2026 workplace with online training they'll actually appreciate. All Emtrain courses have cinema-quality workplace video, interactive scenarios, skill building, reflection questions, completion certificates, and industry leading...

See Software
TelemetryTV

TelemetryTV is a powerful digital signage platform built for the modern organization who needs to engage audiences, generate awareness, and give their teams and communities a voice. TelemetryTV allows users to broadcast dynamic content easily by streaming video, images, social feeds,...

See Software