Prześlij oprogramowanie
  1. W: strona główna
  2. Linux
  3. Innych
  4. JavaBDD

JavaBDD 0.6

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

Biblioteka Java do manipulowania dyskami BDD (Binary Decision Diagrams). Binarne diagramy decyzyjne są szeroko stosowane w sprawdzaniu modelu, weryfikacji formalnej, optymalizacji schematów obwodów itp.

historia wersji

  • Wersja 0.6%20Win32%20binary opublikowany na 2005-05-09
    Kilka poprawek i aktualizacji
  • Wersja 0.6 Win32 binary opublikowany na 2005-05-09

Szczegóły programu

Programy pokrewne

  • Jonathan Wolna

    Jonathan - Bóg dany. Jonathan jest podobny do obecnie dostępnych programów do czytania Biblii, z jedną różnicą. Z Jonathanem możesz czytać inne teksty duchowe, które są poza Biblią. Jonathan ma nadzieję pomóc niektórym osiągn

  • Lg nyelv Wolna

    Minimalna implementacja logo. Głównie dla dzieci w wieku 8-14 lat.Łatwy w użyciu. Pierwsze wydania działają tylko w języku węgierskim.

  • WxMAP2 Wolna

    System oparty na pythonie do diagnozowania i tworzenia map pogodowych (wxmap) numerycznych modeli prognozowania pogody przy użyciu systemu analizy siatki i wyświetlania (GrADS) z opengrads.org

  • Two Line Calculator Wolna

    To kalkulator GTK z dwoma wierszami i sekcją do robienia notatek. Celem jest stworzenie kalkulatora, który będzie jedynym programem, który będzie potrzebny podczas wykonywania arytmetyki. Produkt jest obecnie w fazie alfa.

  • Squeebles Multiplication 1 Bezpłatna wersja próbna

    UWAGA: Od lipca 2013, ta aplikacja została zastąpiona przez Squeebles Times Tables 2 - teraz dostępne dla Androida. Zawiera więcej trybów gier stoły razy, zupełnie nowy system nagród i wiele więcej raportów i statystyk dla ro

  • AIEEE Papers Bezpłatna wersja próbna

    Kup aieee rozwiązane dokumenty, makiety papiery testowe, dokumenty model, przewodniki i materiały przygotowawcze online na www.dishapublication.com/books/upcoming-exam.html. Oferujemy najwyższej jakości książki dla inżynierii

  • Speak Spanish in 12 days Free Bezpłatna wersja próbna

    Mów po hiszpańsku w zaledwie 12 dni. Ta aplikacja pozwoli Ci nauczyć się hiszpańskiego bardzo szybko. * * * LEKCJE SĄ W JĘZYKU ANGIELSKIM * * *Posiadanie tego kursu w urządzeniu mobilnym zaoferuje Ci możliwość uczenia

  • Tamil Recipe Lite Bezpłatna wersja próbna

    Południowe Indie są równie znane z dostępności kokosa, szerokiej gamy ryb i bulw korzeniowych. Południowoindyjskie jedzenie to głównie ryż, który mieszkańcy Indii południowych uwielbiają mieć z kombinacją Sambhar lub curry.

  • CanTherm Wolna

    To oprogramowanie może być używane do obliczania ilości termochemicznych i kinetycznych, takich jak entalpia, entropia, pojemność cieplna i teoria stanu przejścia, które mają stałe szybkości z danych spektroskopowych /kwantow

  • HWave Wolna

    Celem tego programu jest wykreślenie przebiegów funkcji fali wodorowej. Program ma 4 opcji. Po pierwsze, wykreślenie funkcji promieniowej, po drugie, kreślenie prawdopodobieństwa promieniowego, trzecia, funkcja fali 2d, ostat