Interactive BDD Environment 1.1

Date Added: May 03, 2010 | Visits: 1.202

Report Broken Link
Printer Friendly Version

Product Homepage
Download (104 downloads)

Interactive BDD Environment project is a shell like utility for working with ROBDDs. IBEN is a tool used for teaching Reduced Ordered Binary Decision Diagrams. It allows the student to work with ROBDDs without learning a complex C or C++ interface to an ROBDD package. One can enter the expressions interactively, and view the result as a graph or ask questions about the ROBDD, such as the number of nodes in the ROBDD..

Requirements: No special requirements

Platforms: Linux

Keyword: Bdd, Education, Environment, Interactive, Interactive Bdd Environment, Miscellaneous, Project, Robdds, Utility, Working

Users rating: 0/10

License: Freeware

Size: 102.4 KB

USER REVIEWS

More Reviews or Write Review

INTERACTIVE BDD ENVIRONMENT RELATED

Desktop Utilities - JD4X 0.6 JD4X project is a basic GUI Windowing Environment developed to support the Java Programming Language based on top of the X Window system. It was developed with the intention of providing a Java environment that allows Java programmers to build and...	17 MB
Utilities - Zoinks 0.4.1 Zoinks project is a programmers editor and development environment for Unix/X11 systems. Zoinks is a Mac-like programmers editor that should seem familiar to people that have used MPW or CodeWarrior. It is also similar to Code Crusader, which I...	317.44 KB
Desktop Utilities - SimpleKDE 3040101 SimpleKDE is a lightweight desktop environment for UNIX and UNIX based operating systems like Linux, FreeBSD, and OpenSolaris. Shortly it provides a graphical user interface on top of UNIX shells. SimpleKDE is not written from scratch; in fact,...	25 MB
FTP Clients - KuFtp 0.8.0 KuFtp is a graphical FTP client for the K Desktop Environment. The project is written in C++ using the QT/KDE libraries. It implements many features required for usable FTP interaction. Most notable features is Tab Sessions like Konqueror or...	153.6 KB
Utilities - Flame Project 0.7.7 Flame Project is an Integrated Development Environment (IDE) for producing Flash and Animated SVG files, similar to Macromedia Captivate. It is licensed under the LGPL. Imagine a free, easy to use GUI authoring environment that helps you create...	153.6 KB
Communication Tools - open sTeam 2.3 open sTeam project is an environment for cooperative knowledge management. sTeam provides a technical platform which allows groups of students, lecturers, and any other groups to construct and arrange their individual and cooperative learning...
Education - BibShelf 1.4.0 BibShelf is a book organizer integrating well with the GNOME desktop environment. BibShelf project helps you to keep track of your book collection. You can fill in such things as the book summary, review, rating and the ISBN. Never forget when...	460.8 KB
Development Tools - Geany 0.11 Geany is a small and lightweight integrated development environment. It was developed to provide a small and fast IDE, which has only a few dependencies from other packages. Another goal was to be as independent as possible from a special Desktop...
Development Editors - RadRails for Linux 0.7.2 RadRails is an integrated development environment for the Ruby on Rails framework. The goal of this project is to provide Rails developers with everything they need to develop, manage, test and deploy their applications.	43.59 MB
3D Graphic Tools - 3DWebmaker 6.0 Use the WorldBuilder to create professional interactive 3D environments Even if you can't program, you can design fantastic worlds using nothing but your mouse. The product has received the highest rating in every review including leading...	30 MB

NEW DOWNLOADS IN LINUX SOFTWARE, EDUCATION

Linux Software - EasyEDA PCB Designer for Linux 2.0.0 EasyEDA, a great web based EDA(Electronics Design Automation) tool, online PCB tool, online PCB software for electronics engineers, educators, students, makers and enthusiasts. Theres no need to install any software. Just open EasyEDA in any...	34.4 MB
Linux Software - wpCache® WordPress HTTP Cache 1.9 wpCacheÂ® is a high-performance, distributed object, caching system application, generic in nature, but intended for use in speeding up dynamic web applications, by decreasing database load time. wpCacheÂ® decreases dramatically the page...	3.51 MB
Linux Software - Polling Autodialer Software 3.4 ICTBroadcast Auto Dialer software has a survey campaign for telephone surveys and polls. This auto dialer software automatically dials a list of numbers and asks them a set of questions that they can respond to, by using their telephone keypad....	488 B
Linux Software - Total Video Converter Mac Free 3.5.5 Total Video Converter Mac Free developed by EffectMatrix Ltd is the official legal version of Total Video Converter which was a globally recognized brand since 2006. Total Video Converter Mac Free is a free but powerful all-in-one video...	17.7 MB
Linux Software - Skeith mod_log_sql Analyzer 2.10beta2 Skeith is a php based front end for analyzing logs for Apache using mod_log_sql.	47.5 KB
Education - KB Piano 2.5.2 KB Piano will turn your computer into a piano and more. Easily create song with multiple instruments (guitar, bass, drums, and vocals from your microphone). If you don't know music theory, use the application tools to automatically create...	10.61 MB
Education - Learn Words 0.1 This program helps you to learn words of foreign languages. You can type in the words and their meanings and then the computer asks them and rates you. You can also grab the words from a file and look up their meanings with the included electronic...	61.44 KB
Education - Familier for Linux 0.91.12 Familier is cross-platform Family Tree management (Genealogy) Software using QT. It supports viewing/editing file tree using drag-drop in multiple ways. Events allow you to define events in any number.	5.88 MB
Education - Law Leecher 1.4u1 Law Leecher is a multi-threaded web crawling tool which extracts laws from the EU law database PreLex (http://ec.europa.eu/prelex/). It's written in Ruby. The latest version is 1.4 You can also visit the SourceForge project management...	430.08 KB
Education - The Brookshear Machine 1.0 The Brookshear Machine is an assembly language compiler that uses a language specification in Computer Science: An Overview, by Glenn Brookshear.	51.2 KB

Windows Software	BeOS Software
Macintosh Software	Linux Software
PDA Software	OS/2 Software
Mobile Software	Scripts