Télécharger la liste

Sponsored link

Description du projet

JavaBDD is a Java library for manipulating BDDs (binary decision diagrams). Binary decision diagrams are widely used in model checking, formal verification, optimizing circuit diagrams, and other areas.

Système requise

System requirement is not defined
Information regarding Project Releases and Project Resources. Note that the information here is a quote from Freecode.com page, and the downloads themselves may not be hosted on OSDN.

2003-11-01 07:31
0.6

Cette version fixe certains problèmes de sécurité en ajoutant une meilleure nulle et vérification de type.
Tags: Major security fixes
This version fixed some security problems by adding
better null and type checking.

2003-08-05 13:26
0.5

Cette version ajoute une application 100% Java de l'usine BDD, si la bibliothèque native n'est plus nécessaire. Il ya maintenant une implémentation Java de domaines variables. Domaines peuvent être jusqu'à 2 ^ 64 en taille. Il existe également une implémentation Java de vecteurs de bits, ainsi que les opérations connexes (ajouter, soustraire, multiplier, diviser, etc) Correctifs et extensions à l'interface Cudd ont été effectuées. Cudd pouvez maintenant exécuter toutes les scénarios de test correctement. Il y avait beaucoup d'autres petites améliorations à l'API.
Tags: Major feature enhancements
This version adds a 100% Java implementation of the
BDD factory, so the native library is no longer
necessary. There is now a Java implementation of
variable domains. Domains can be up to 2^64 in size.
There is also a Java implementation of bit vectors,
along with the associated operations (add, subtract,
multiply, divide, etc.) Fixes and extensions to the CUDD
interface were performed. CUDD can now run all of the
test cases correctly. There were many other small
refinements to the API.

2003-06-19 10:38
0.4

Cette version comprend une interface avec la bibliothèque native BDD Cudd. Diverses autres améliorations et mises à jour de l'API ont été faites.
Tags: Major feature enhancements
This version includes an interface to the CUDD BDD
native library. Various other improvements and updates
to the API were made.

2003-02-21 12:33
0.3

Dans cette version, de nombreux bugs ont été corrigés. La plupart des fonctionnalités ont été testées, cette version devrait être plus ou moins stable et utilisable.
Tags: Major bugfixes
In this version, many bugs were fixed. Most functionality has been tested, so this version should be more or less stable and usable.

2003-01-30 18:36
0.1

Il s'agit de la première version de ce logiciel, et est essentiel à tester.
Tags: Initial freshmeat announcement
This is the first release of this software, and is largely untested.

Project Resources