Home > By category > Developer Tools >Management & Distribution > JDD



JDD

  • Downloads: 
  • Views: 
  • Rating:

JDD was designed as an accessible and handy Java library that manages to support BDDs, Z-BDDs, BEDs.

Binary Decision Diagrams (BDDs) are used in formal verification (model checking), CSP and optimization. To work with BDDs, you need a BDD package, which is basically the BDD software library.

JDD is written in Java, and top performance was not the main priority during the design. Still, JDD is a very efficient BDD package. The computation speed is in some situations comparable to CUDD and BuDDy.

Due to a new cache scheme, JDD sometimes even outperforms those two (this depends very much on the size and type of the problem beeing solved). Hands down, JDD outperforms all other BDD packages that are written in Java.

Free download from Shareware Connection - JDD was designed as an accessible and handy Java library that manages to support BDDs, Z-BDDs, BEDs.

Publisher: vahidi | License: Freeware | Price: 0.00
Version: Build 104 | Platform: WinOther
Released Date: | Rating: 0 | Title: JDD

Author Url: http://sourceforge.net/projects/javaddlib
Program Info Url: http://sourceforge.net/projects/javaddlib
Download Url: http://sourceforge.net/projects/javaddlib/files/JDD%20binary%20release/JDD.jar-build-104/jdd_104.jar/download

More downloads from JDD publisher vahidi:

jaybox - jaybox was specially developed as an accessible and easy-to-use application that allows you to extract and transfer XBOX iso images.

JDD keywords:
JDD related downloads:

MoodleRest Java Library - MoodleRest Java Library is, just like the name states a small, easy to use, handy Java library specially designed to help you access Moodle's web services via the REST protocol.

Password Generator Java Library - As its name suggests, Password Generator Java Library provides you with a lightweight library that includes algorithms for generating secure passwords.

Gavaghan Geodesy Library - Gavaghan Geodesy Library was built as a useful and accessible Java library.

DWR - DWR was developed to be a Java library that enables Java on the server and JavaScript in a browser to interact and call each other as simply as possible.

DatabeneScript - DatabeneScript is designed as an accessible, handy and Open Source Java library for resolving Java-like expressions.

Shareware Connection periodically updates pricing and software information of 'JDD' from company source 'vahidi' , so some information may be slightly out-of-date. You should confirm all information before relying on it. Software piracy is theft,  Using 'JDD' crack, password, serial numbers, registration codes, key generators is illegal and prevent future development of JDD.

New Reviews

Driver Fusion - To keep your laptop and desktop running smoothly and get the best performance out of it, it is important to pay attention to some aspects. It is quite important to ensure your PC device drivers are updated. Components like motherboards, GPU and ...

Any Video Converter Free for Mac - Apple does have some stellar media applications for users of Mac OS but at times, you may feel the need for using third party apps too. Its FCP is regarded as an industry leading and powerful video editor but average Mac users may not need such a ...

SeaTools for Windows - Among all the hardware components used in a desktop or laptop, the hard disk is a prime one. In the hard disk is not in good shape, even a PC with powerful CPU and lots of RAM will malfunction or run sluggishly. Hard disk failure can lead to data ...

Hekasoft Backup & Restore - There was a time a majority of Windows PC users stuck to Internet Explorer as it was the integrated web browsing app. After arrival and growth of Open Source rivals like Firefox and Chrome, the scenario has changed a lot. PC users are now spoilt ...

PC DeCrapifier - There is hardly any computer user who does not want to keep the PC running at top speed. However, unnecessary software and bloatware can reduce the speed and performance of your PC. Such Apps often come pre installed with laptops and desktops. ...

HotShots - Screen capture software comes in handy in a number of situations, as it is. If you want to show some web content worth your interest to friends or prepare an interactive tutorial, such apps are useful. Needless to say, Windows inbuilt screen shot ...

SoftAmbulance Free Eraser - Windows comes with a set of integrated utilities to let users maintain and cleanup their computers. While you can always delete files and folders from partitions, that is not a fail proof method. The data remains on hard disk in reality and any ...

ChrisPC Free Video Converter - Even a few years back, video conversion was not commonplace among average PC users. However, with tremendous progress made in computer software and hardware things have changed. Now, it is quite common to see your neighborhood college student ...

Machete Video Editor Lite 3.8 build - Average PC users are no longer strangers to video file handling and editing. There are so many sources from where you acquire video files, as it is. You also need to deal with video clips acquired from cameras and smart phones. At times, you may ...

Privatefirewall - Everything in life has two sides to it and same can be said about technological innovations. It is quite hard to carry out most activities without resorting to the web these days. Yet the internet itself is also the reservoir of malicious ...




New Downloads

VB.Net PDF

Create, Edit and Extract Text
and Image Content inside
VB.net applications. Supports
HTML, ASPX, CSS, and images.
...

TeeBI for RAD Studio Suite

TeeBI Business Intelligence
and Analytics component suite
for RAD Studio developers

TRichView for C++Builder

Delphi/C++Builder components
for displaying, editing and
printing rich hypertext
documents. Various text
formatting, ...

Review Sherlock

Review Sherlock is your
software to analyze all the
reviews posted on the App
Store and the Mac App Store.

Database Designer for
PostgreSQL

An easy and powerful visual
development system intended
for database design, modeling,
creation, modification and
reverse ...

DataTableToPDF

DataTableToPDF is a DLL
library that can be
distributed with your own
software projects and used to
export any DataTable ...

MindFusion.Charting for
WinForms

Easy to use .NET gauge and
charting controls for Windows
Forms applications. The
package includes Graph, Line,
Area, Bar, ...

Oxetta Report Generator

Report generator for C/C++
applications with printing and
print preview support, small
and fast. Includes nice
graphical ...

App Builder

App Builder is a program for
Microsoft Windows which allow
to non programmers and also
advanced programmers to create
...

JNIWrapper for Solaris
(x64/x86)

JNIWrapper library allows to
interface native code while
retaining full control of the
application on the Java side.
With ...

TailExpert

TailExpert is a reliable and
useful application dedicated
to helping you analyze logdata
from all kinds of origin
(files, ...

Docmosis Java

Docmosis Java allows software
developers to quickly and
easily create documents and
reports in multiple formats,
...