Hantar Perisian
  1. Rumah
  2. Windows
  3. Lain
  4. Binary Decision Diagram

Binary Decision Diagram

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 2.2/5 - ‎6 ‎Undi
Muat turun

menghasilkan pakej perisian penuh menggunakan perwakilan rajah keputusan perduaan (BDD) untuk memanipulasi peta logik untuk objektif pengoptimuman reka bentuk membiak{like(A+B)(C)}In C++ Core.C++ GUI. VB6 Modul Verilog Quin McCluskey Operasi Pelbagai Fungsi

sejarah versi

  • Versi ScreenShots diposkan pada 2006-03-15
    Beberapa pembaikan dan pengemaskinian
  • Versi N/A diposkan pada 2006-03-15

Butiran Atur Cara

Atur Cara Berkaitan

  • Jeeva - Service Oriented Java Framework Percuma

    Jeeva adalah Rangka Kerja Java Berorientasikan Perkhidmatan yang menawarkan keupayaan Transaksi Toleransi Kesalahan selain daripada keupayaan Pembangunan, Penggunaan dan Pengauditan yang mudah untuk pemaju, Pentadbir dan Peng

  • SF.net BTS -> Bugzilla converter Percuma

    Projek ini wujud untuk membantu pengguna beralih daripada sistem penjejakan pepijat sf.net (BTS) ke Bugzilla (http://www.bugzilla.org). Ia merebut pepijat dari projek anda di SourceForge dan ia secara automatik menambah merek

  • Terra-Mater Percuma

    Bahasa pengaturcaraan : C++Libs : ZLib, Lua, SQlite,...Platform : Win32Perisian yang disengajakan permainan ini akan ditulis sebagai bersenam dan makmal untuk eksperimen pengeperan.Ciri:- Bersih- Didokumenkan deng

  • Teatrix Percuma

    Teatrix adalah persekitaran maya 3D untuk penciptaan cerita kolaboratif. Ia telah dibangunkan untuk menyokong pengajaran celik huruf kepada pelajar muda. Perisian ini dibina di Jawa menggunakan Java3D sebagai enjin grafik.

  • CMS Extentions Room Percuma

    Penambahbaikan CMS PHP, blok dan modul CMS berasaskan Nuke dan Addons. Porting dan mod Pengurusan Kandungan PHP. Terjemahan kepada Bahasa Inggeris dan bahasa Jerman fail bahasa.

  • Simien Processor for Jackal 3.0 Percuma

    Sumber Terbuka pelaksanaan Jackal v3.0 ISA dalam Xilinx Spartan II FPGA

  • Aptor Percuma

    Rangka kerja pembangunan aplikasi pesat menggunakan anotasi Java 5 untuk menjana kod dan memacu proksi dinamik

  • graphz Percuma

    Graphz adalah perpustakaan untuk memanipulasi struktur data graf. Graphz boleh dianalisis, menggunakan algoritma, seperti laluan terpendek dan sebagainya. Graphz ditulis dalam Jawa. Ia serasi dengan GWT dan boleh berjalan dal

  • OpenSpice Language Specification Percuma

    OpenSpice adalah spesifikasi yang berkembang, terbuka untuk bahasa pengaturcaraan Rempah. Dua pelaksanaan sumber terbuka disediakan.

  • B4 - Block Forth Percuma

    Block Forth adalah satu lagi sistem Forth yang ditulis sepenuhnya dalam C.