Submit Software
  1. Home
  2. Linux
  3. Other
  4. Interactive BDD Environment
  5. Download

Interactive BDD Environment 1.1

License: Free ‎File size: N/A
‎Users Rating: 3.0/5 - ‎1 ‎votes

ABOUT Interactive BDD Environment

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

Related Programs

  • OnlineExam Free

    A Web based online examination system. Students can log in to take the exams and administrators can log in to set exams. The entire system is developed in java and makes use of struts.

  • VKS Free

    VKS (Vikar Korps System) is a fullblown, well-tested web-application for administering temporaries, customers and call-magement at a temp agency.

  • Disease Gene Profiler Free

    Disease Gene Profiler (DGP) comprises of a set of (bioinformatics) tools that can be used to identify the genes underlying susceptibility to common multifactorial diseases (such as diabetes, asthma and cancer) using freely av

  • Address to Congress Feb 2009 Free Trial

    The text of President Obama's Address to Congress on Feb. 24, 2009. An historical time.We also publish President Obama's *Inaugural Address USA 2009* and a speech on space exploration in 2010.This app is designed for reading

  • Kid App: Learn 1,000 Words Free

    Learn 1,000 English Words - Kid Apps: All in 1Are you looking for the perfect application to teach yourself English? You will learn to read and write in English. Look no further, because Kid Apps: All in 1 brings the classroo

  • sMArTH Free

    sMArTH is a SVG and ECMAScript-powered equation editor for MathML and LaTeX

  • MGTAXA Free

    Source code and development of this project was moved to GitHub at http://github.com/andreyto/mgtaxa

  • LexiTools Reminder Free

    Program for Polish-speaking people. Support in learning English words. Part of the LexiTools Project. Program dla uytkownikw polsko-jzycznych. Wspomaga uczenie si sw jzyka angielskiego. Cz projektu LexiTools.

  • ChesROMS Free

    ChesROMS is developing a ROMS model of the Chesapeake Bay to help in the prediction of Harmful Algal Blooms. We hope to catalyze a new method of community modeling with involvement beyond the core researchers of the ChesROMS

  • HuRef Genome Browser Free

    The HuRef Genome Browser is a Web resource for the navigation of an individual human genome, termed HuRef, published in PLoS Biology. The browser is a unified framework of annotation, assembly and synteny tools. It is online