Macintosh Software / Education / Science

Java Decision Diagram Libraries 104

Company: javaddlib.sourceforge.net

Date Added: July 06, 2012 | Visits: 482

Full screenshot

Report Broken Link
Printer Friendly Version

Product Homepage
Download (56 downloads)

This project contains two different Binary Decision Diagrams (BDD) libraries: JBDD: a Java interface to two popular BDD libraries, CUDD and BuDDy. JDD: a native Java library supporting BDD, Z-BDD and more (graph/automata/Petri nets/SAT)

Requirements: No special requirements

Release Date: July 06, 2012

Platforms: Windows, Mac, Solaris, Linux

Users rating: 0/10

License: Freeware

Size: 320.49 KB

USER REVIEWS

More Reviews or Write Review

JAVA DECISION DIAGRAM LIBRARIES RELATED

Libraries - BDD BuDDy 2.4 BDD BuDDy is a Binary Decision Diagram library, with : many highly efficient vectorized BDD operations, dynamic variable reordering, automated garbage collection, a C++ interface with automatic reference counting, and much more. The BDD package...	778.24 KB
Libraries - Windows Azure Libraries for Java 0.1.2 December 2011 CTP The Windows Azure SDK for Java provides client libraries and tools to allow Java developers to quickly and easily create applications that run on Windows Azure or leverage Windows Azure services such as Windows Azure Storage or Service Bus. To be...
Libraries - jZeno 1.0.36 jZeno is a meta-project that integrates a collection of java open source libraries, to form a ready-to-use web development environment. jZeno is made to allow people to create web applications by using pure java development as much as possible....	31 MB
Libraries - StrBio 1.0 StrBio is a set of Java classes and libraries useful for development of software for computational structural biology research. They are licenced under the LGPL. he strbio.org classes are the basis for several published research projects,...	12.7 MB
Programming - Java IP (InetAddress) Locator 2.23 Java and ColdFusion libraries to lookup country code and language from IP address. It uses a local copy of the WHOIS database to perform fast, accurate lookups of country codes. Useful for log analysis, internationalization, geolocation, etc..	132.01 KB
Utilities - ITVal 1.0 ITVal is a decision-diagram based query engine for testing and verifying iptables firewalls. Because firewalls can be very complicated, it is often difficult to know whether your firewall is correctly configured to protect against various...	686.08 KB
Utilities - armidale - simplified web development 1.0 Armidale is a set of Java programs and libraries used to radically simplify the development, deployment and use of web applications which have rich graphical user interfaces.	4.66 MB
Board Games - ChessShell 1.0 Extensive Java chess database libraries. Game database, position database.	7.51 MB
Programming - Classycle 1.4 Classycle tools analyse static class and package dependencies of Java applications or libraries. Main features: Cyclic dependency detection (beyond JDepend), XML report, checking layered architectures. The tools runs from command line and as Ant...	1.05 MB
Security Tools - Commons-SSH 1.4.1 Commons-SSH is a thin bridge between different Java SSH implementations libraries. It doesn't contain any crypto-related code and created to be used by projects who doesn't want to care about export control regulations (let client to decide)	61.32 KB

NEW DOWNLOADS IN EDUCATION, SCIENCE

Education - Sliding Down an Incline Plane Model 1.0 This interactive simulation shows a stone block lying at rest on an inclined plane. Initially, the component of gravity along the plane surface is exceeded by the force of static friction. The slope of the ramp can be increased or decreased,...	51.2 KB
Education - MrAIC 1.4.4 MrAIC.pl is a Perl script for calculating AIC, AICc, BIC, and Akaike weights (for a review, see Burnham and Anderson, 2002) for nucleotide substitution models. Likelihood scores under different models are estimated using PHYML (Guindon and...	10.24 KB
Education - Three Charges 1.0 In this simulation, you can investigate the idea of the force between charged objects. Initially, the simulation sets up three charged objects, one at each corner of an equilateral triangle. The charges have different magnitudes - your job is to...	1.36 MB
Education - AWclust 3.0 AWclust is easy to use non-parametric population structure analysis software written for R with a GUI interface. Just point and click and you will be on your way to discovering the important cluster information in your SNP data sets.	20.48 KB
Education - BEAGLE/BEAGLECALL Scripts Package 1.0 These scripts are for importing and exporting files from the BEAGLE and BEAGLECALL Genetic Analysis Software Packages	317.44 KB
Science - Multiple beam interference 1.0 This applet shows multiple beam interferences from a parallel dielectric thin film. The applet lets you study the evolution of reflection and refraction factors when the index of refraction and the absorption of the film and the substrate are...	10.24 KB
Science - Point Charge Forces in 2D Model 1.0 The Point Charge Forces in Two-Dimensions model investigates the electric force that a charged particle experiences in a two-dimensional situation, because of four other nearby charged particles. The net electric force is shown as an arrow...	1.36 MB
Science - Lennard-Jones PVT System Model 1.0 The Lennard-Jones PVT System simulates a two-dimensional system of particles confined between a thermal reservoir and a piston. This computer model is designed to study the equation of state for particles interacting via a simple but realistic...	962.56 KB
Science - Ideal Fermi Gas Integral 1.0 The STP IdealFermiGasIntegral program numerically determines the value of the chemical potential of an ideal Fermi gas for a given temperature and density. STP IdealFermiGasIntegral is part of a suite of Open Source Physics programs...	476.16 KB
Science - JiveX DICOM Viewer 4.4 The DICOM Viewer is available as a free Personal Edition for non-commercial usage. This version is limited in its functionality and can only be used for a limited period of time. Note: This version expires on 2012-01-01. Before...	25.55 MB

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