Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 956 Categories, Downloaded 50.214.857 Times

USER REVIEWS

Java Decision Diagram Libraries


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)

WRITE USER REVIEW
Your name *
Email *
Ease of use *
(1 = Bad, 10 = Superb)
Functionality *
(1 = Bad, 10 = Superb)
Value for money *
(1 = Bad, 10 = Superb)
Overall score *
(1 = Bad, 10 = Superb)
Comments *
Please don't post questions, this is NO support or discussion list.
Guides
If you know any guides for this tool post the links here (optional)
Verification Code *




Captcha verification code

 
Home  | About Us  | Privacy  | Disclaimer  | Link to Us  | Contact Us  | Top Searches  | Submit Software  | Submit Site  | Percentage Calculator  | Text Compare
File Transit © 1998-2024