Kirim Perangkat Lunak
  1. Rumah
  2. Linux
  3. Lain
  4. JavaBDD

JavaBDD 0.6

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 4.0/5 - ‎1 ‎Suara
Download

Pustaka Java untuk memanipulasi BDD (Diagram Keputusan Biner). Diagram keputusan biner banyak digunakan dalam pemeriksaan model, verifikasi formal, mengoptimalkan diagram sirkuit, dll.

Riwayat versi

  • Versi 0.6%20Win32%20binary diposting di 2005-05-09
    Beberapa perbaikan dan pembaruan
  • Versi 0.6 Win32 binary diposting di 2005-05-09

Detil Program

Program Terkait

  • Jonathan Gratis

    Jonathan - Tuhan Yang Diberikan. Jonathan sama seperti program membaca Alkitab yang tersedia saat ini, dengan satu perbedaan. Dengan Jonathan, Anda dapat membaca Teks-Teks Rohani lainnya yang berada di luar Alkitab. Jonathan

  • Lg nyelv Gratis

    Implementasi Logo minimal. Terutama untuk anak-anak pada usia 8-14 tahun.Mudah digunakan. Rilis pertama hanya berfungsi dalam bahasa Hungaria.

  • WxMAP2 Gratis

    Sistem berbasis python untuk men diagnosis dan membuat peta cuaca (wxmap) model prediksi cuaca numerik menggunakan Grid Analysis and Display System (GrADS) dari opengrads.org

  • Two Line Calculator Gratis

    Ini kalkulator gtk dengan dua garis dan bagian untuk membuat catatan. Tujuannya adalah untuk membuat kalkulator yang akan menjadi satu-satunya program yang Anda butuhkan ketika melakukan aritmatika. Produk saat ini dalam taha

  • Squeebles Multiplication 1 Uji Coba Gratis

    HARAP DIPERHATIKAN: Per Juli 2013, aplikasi ini telah disingh oleh Squeebles Times Tables 2 - sekarang tersedia untuk Android. Ini termasuk lebih banyak kali tabel mode permainan, sistem hadiah baru dan banyak lagi pelaporan

  • AIEEE Papers Uji Coba Gratis

    Beli makalah yang dipecahkan AIEEE, makalah uji tiruan, makalah model, panduan, dan bahan persiapan online di www.dishapublication.com/books/upcoming-exam.html. Kami menawarkan buku-buku berkualitas terbaik untuk teknik dan u

  • Speak Spanish in 12 days Free Uji Coba Gratis

    Berbahasa Spanyol hanya dalam 12 hari. Aplikasi ini akan memungkinkan Anda untuk belajar bahasa Spanyol dengan sangat cepat. * * * PELAJARAN DALAM BAHASA INGGRIS * * *Memiliki kursus ini di perangkat seluler Anda akan

  • Tamil Recipe Lite Uji Coba Gratis

    India selatan sama-sama terkenal dengan ketersediaan kelapa, berbagai macam ikan dan umbi akar. Makanan India selatan terutama beras, yang dicintai orang India Selatan dengan kombinasi Sambhar atau kari.Ini adalah makanan

  • CanTherm Gratis

    Perangkat lunak ini dapat digunakan untuk menghitung jumlah termokimia dan kinetik seperti, enthalpy, entropi, kapasitas panas dan konstanta tingkat teori status transisi dari data spektroskopi / kuantum.

  • HWave Gratis

    Tujuan dari program ini adalah untuk merencanakan bentuk gelombang fungsi gelombang hidrogen. Program ini memiliki 4 pilihan. Pertama, merencanakan fungsi radial, kedua, merencanakan probabilitas radial, ketiga, fungsi gelomb