Submit Software
  1. Home
  2. Linux
  3. Other
  4. JavaBDD
  5. Download

JavaBDD 0.6

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

ABOUT JavaBDD

Java library for manipulating BDDs (Binary Decision Diagrams). Binary decision diagrams are widely used in model checking, formal verification, optimizing circuit diagrams, etc.

Related Programs

  • Jonathan Free

    Jonathan - God Given. Jonathan is much like the currently available Bible reading programs, with one difference. With Jonathan, you can read other Spiritual Texts that are outside of the Bible. Jonathan hopes to help some to

  • Lg nyelv Free

    A minimal Logo implementation. Mainly for children at the age of 8-14.Easy to use. First releases work only in Hungarian language.

  • WxMAP2 Free

    A python-based system to diagnosis and make weather maps (wxmap) of numerical weather prediction models using the Grid Analysis and Display System (GrADS) from opengrads.org

  • Two Line Calculator Free

    This a gtk calculator with two lines and a section to take notes. The goal is to create a calculator that will be the only program you will need when doing arithmetic. The product is currently in the alpha stage.

  • Squeebles Multiplication 1 Free Trial

    PLEASE NOTE: As of July 2013, this app has been superseded by Squeebles Times Tables 2 - now available for Android. It includes more times tables game modes, a brand new reward system and plenty more reporting and stats for p

  • AIEEE Papers Free Trial

    Buy AIEEE solved papers, mock test papers, model papers, guides and preparatory materials online on www.dishapublication.com/books/upcoming-exam.html. We offer finest quality books for engineering and other competitive exams.

  • Speak Spanish in 12 days Free Free Trial

    Speak Spanish in just 12 days. This app will allow you to learn Spanish very fast. * * * THE LESSONS ARE IN ENGLISH * * *Having this course in your mobile device will offer you the possibility to learn anywhere, anytime. Are

  • Tamil Recipe Lite Free Trial

    The south India is equally famous for the availability of coconut, a wide variety of fishes and root tubers. The south Indian food is mainly rice, which the south Indian people love to have with a combination of Sambhar or cu

  • CanTherm Free

    This software can be used to calculate thermochemical and kinetic quantities like, enthalpy, entropy, heat capacity and transition state theory rate constants from spectroscopic/quantum data.

  • HWave Free

    The purpose of this program is to plot the waveforms of the hydrogen wave function. The program has 4 option's. First, plotting the radial function, second, plotting the radial probability, third, 2d wave function,last, 3d wa