Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 29.978.506 Times

Interactive BDD Environment 1.1

  Date Added: May 03, 2010  |  Visits: 839

Interactive BDD Environment

Report Broken Link
Printer Friendly Version


Product Homepage
Download (84 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
INTERACTIVE BDD ENVIRONMENT RELATED
Education  -  LXlogo 1.0
LXlogo project is an interactive LOGO programming environment for K-12 educational use or just for fun. It is easy to install with minimal system requirements, and is a modern variant of the familiar "turtle" LOGO language. Logo is...
194.56 KB  
Network & Internet  -  Java Web Shell 0.0.8
Java Web Shell is a web based interactive shell-type environment written in Java. Obviously, to use the shell, youll need to be using a browser that supports Java Applets, and this has been compiled using the Sun 1.4.1 JDK. Head over to Sun...
13.31 KB  
Business  -  HippoDraw 1.21.4
HippoDraw provides a highly interactive data analysis environment. It is written in C++ with the Qt library from Trolltech. It should run anywhere Qt runs which is just about everywhere. This release has been tested on Red Hat Enterprise Linux 3...
8.67 MB  
Libraries  -  Transparent Parallel I/O Environment 20050912
Transparent Parallel I/O Environment is a software environment (written in C++) that facilitates the implementation of external memory algorithms. The goal of theoretical work in the area of external memory algorithms (also called I/O algorithms...
1.1 MB  
Audio Tools  -  Lexikon-Sonate for Mac OS 3.3
Lexikon-Sonate is an interactive realtime composition environment for musical composition and live performances. It takes advantage of composition algorithms that has been developed by Karlheinz Essl since 1985. With this algorithmic music...
6.4 MB  
Development Editors  -  Environment Variable Editor 3
Environment Variable Editor is a handy and reliable utility designed to enable you to edit environment variables from a GUI interface. Environment Variable Editor is a better alternative for editing variables. It provides a GUI that enables you...
 
Specialized Tools  -  Python(x,y) 2.7.2.1
Python(x,y) is a free scientific and engineering development software for numerical computations, data analysis and data visualization based on Python programming language, Qt graphical user interfaces and Spyder interactive scientific development...
75.6 MB  
Programming  -  Kopi 2.3b
Kopi provides a development environment for interactive database applications using Java, JDBC and Swing. It extends the Java language with money, date and time types, adds operator overloading and allows seamless integration of SQL.
3.19 MB  
Education  -  Everybody English 2.0.2
Everybody English is a unique and exciting way for your child(s) to learn Englishanytimeanywhere! Weve mixed just the right amount of fun, and education, to create a learning environment for your child(s) to truly succeed! Its not...
85.1 MB  
Games  -  Everybody French 2.0.2
Everybody French is a unique and exciting way for your child(s) to learn Frenchanytimeanywhere! Weve mixed just the right amount of fun, and education, to create a learning environment for your child(s) to truly succeed! Its not...
65.1 MB  
NEW DOWNLOADS IN LINUX SOFTWARE, EDUCATION
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  
Linux Software  -  SLAX 6.0+
Slax is a modern, portable, small and fast Linux operating system with a modular approach and outstanding design. Despite its small size, Slax provides a wide collection of pre-installed software for daily use, including a well organized graphical...
190 KB  
Linux Software  -  GTK+ 2.5
GTK+, which stands for the GIMP Toolkit, is a library for creating graphical user interfaces for the X Window System. It is designed to be small, efficient, and flexible. GTK+ is written in C with a very object-oriented approach. Language bindings...
60 MB  
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  -  EgoNet for Linux 2011-03-31
Egonet is a program for the collection and analysis of egocentric network data. It helps you create the questionnaire, collect data, and provide general global network measures and data matrixes that can be used for further analysis by other...
10.87 MB  
Education  -  Vectronics 0.2
Vectronics is a way to share schematics. It makes quick svg images that can be displayed in a browser and reopened and reedited as a schematic. Hyperlinks can also be added to link to data sheets or source code. It is a simple xml based drawing...
399.36 KB  
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