Submit Software
  1. Home
  2. Linux
  3. Other
  4. Java Decision Diagram Libraries

Java Decision Diagram Libraries 103

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

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)

VERSION HISTORY

  • Version JDD.jar-build103 posted on 2009-03-10
    Several fixes and updates
  • Version JDD.jar-build103 posted on 2009-03-10

Program Details

Related Programs

  • Tableflow Free

    Tableflow is a Java web component to connect tabular data using an executable dataflow paradigm. This project includes an advanced data grid component, compatible with JSF that has build in support for filtering, paging, sort

  • Internet Packet Debugger Free

    Real time debugger, filter, sniffer and logger of packets sent and received by Winsock v1/v2. Features like BreakPoints also included. You can edit packets in real time before the target program Receive or send them.

  • MDGen - Model-driven J2EE code generator Free

    MDGen is a UML class model-driven J2EE code generator. It uses XML to describe a class model and applies XSL template to generate session/entity EJBs, Struts code, deployment descriptors, database create/drop scripts, resourc

  • mySQL32 Free

    mySQL32, a C++ Class dll API designed for encapsulate MySQL C API into easy methods, members and objet-model for developers who need use mySQL in your applications without calling directly MySQL C API or ODBC.

  • MultiViL Free

    MultiViL is a tool for multi-view learning. It supports four classifiers (KNN, Naive-Bayes, Rochio and SVM-Perf), four view combining methods (Majority Voting, Borda Count, Dempster-Shafer theory of evidence and PSO) and prov

  • Alexis Make Free

    Maintain your software with amake (a make utility for developers). Supports strong pattern recognition and transformations. A single makefile can be used to compile an entire project.

  • pypnetcdf Free

    PyPNetCDF is a Numeric-based Python package that allows read and/or write to NetCDF file in a parallel environment using MPI and an interface created to PnetCDF library. The objects are very similar to Konrad Hinsen's definit

  • libbinxml Free

    The BINXML library was create to fill the need for an efficient way to embed binary data inside xml files. It provides routines for encoding and decoding binary files into valid UTF-16 text files that can be embedded inside X

  • OGen Free

    OGen is a code generator. It generates code both on text files and database functions (PostgreSQL and SQL Server are currently supported) based on xml metadatas and aspx/xslt templates provided by users.

  • HTTP Inspector Light Free

    Make HTTP GET, POST, and HEAD requests and send custom headers. Supports SSL, including self signed certificates.You can then view the response from the server including headers and rendered and raw response when appropriate.