Prześlij oprogramowanie
  1. W: strona główna
  2. Linux
  3. Innych
  4. Java Decision Diagram Libraries

Java Decision Diagram Libraries 103

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 4.0/5 - ‎1 ‎Głosów
Pobierz

Ten projekt zawiera dwie różne biblioteki Binary Decision Diagrams (BDD): JBDD: interfejs Java do dwóch popularnych bibliotek BDD, CUDD i BuDDy. JDD: natywna biblioteka Java obsługująca BDD, Z-BDD i inne (graph/automata/Petri nets/SAT)

historia wersji

  • Wersja JDD.jar-build103 opublikowany na 2009-03-10
    Kilka poprawek i aktualizacji
  • Wersja JDD.jar-build103 opublikowany na 2009-03-10

Szczegóły programu

Programy pokrewne

  • Tableflow Wolna

    Tableflow to składnik internetowy Java do łączenia danych tabelaryczne przy użyciu paradygmatu przepływu danych wykonywalnych. Ten projekt zawiera zaawansowany składnik siatki danych, zgodny z JSF, który ma wbudowaną obsługę

  • Internet Packet Debugger Wolna

    Debuger czasu rzeczywistego, filtr, sniffer i rejestrator pakietów wysyłanych i odbieranych przez Winsock v1/v2. Funkcje, takie jak BreakPoints również włączone. Pakiety można edytować w czasie rzeczywistym przed programem do

  • MDGen - Model-driven J2EE code generator Wolna

    MDGen jest generatorem kodu J2EE opartym na modelu klasy UML. Używa XML do opisania modelu klasy i stosuje szablon XSL do generowania ejbs sesji/encji, kodu Struts, deskryptorów wdrażania, skryptów tworzenia/upuszczania bazy

  • mySQL32 Wolna

    mySQL32, C++ Klasa DLL API przeznaczony do hermetyzacji MySQL C API do łatwych metod, członków i objet-model dla programistów, którzy potrzebują używać mySQL w aplikacjach bez wywoływania bezpośrednio MySQL C API lub ODBC.

  • MultiViL Wolna

    MultiViL to narzędzie do uczenia się multi-view. Obsługuje cztery klasyfikatory (KNN, Naive-Bayes, Rochio i SVM-Perf), cztery metody łączenia widoku (głosowanie większościowe, borda hrabia, teoria dowodów Dempster-Shafer i PS

  • Alexis Make Wolna

    Utrzymuj oprogramowanie z amake (narzędzie make dla programistów). Obsługuje silne rozpoznawanie wzorców i przekształcenia. Pojedynczy plik makefile może służyć do kompilacji całego projektu.

  • pypnetcdf Wolna

    PyPNetCDF to pakiet Python oparty na numerach, który umożliwia odczyt i/lub zapis do pliku NetCDF w środowisku równoległym przy użyciu mpi i interfejsu utworzonego w bibliotece PnetCDF. Obiekty są bardzo podobne do definicji

  • libbinxml Wolna

    Biblioteka BINXML została utworzona w celu wypełnienia potrzeby efektywnego sposobu osadzania danych binarnych w plikach xml. Zapewnia procedury kodowania i dekodowania plików binarnych do prawidłowych plików tekstowych UTF-1

  • OGen Wolna

    OGen jest generator kodu. Generuje kod zarówno na plikach tekstowych, jak i funkcjach bazy danych (PostgreSQL i SQL Server są obecnie obsługiwane) na podstawie metadanych xml i szablonów aspx/xslt dostarczonych przez użytkown

  • HTTP Inspector Light Wolna

    Wysyłaj żądania HTTP GET, POST i HEAD oraz wysyłaj niestandardowe nagłówki. Obsługuje protokół SSL, w tym certyfikaty z podpisem własnym.Następnie można wyświetlić odpowiedź z serwera, w tym nagłówki i renderowane i niepr