Kirim Perangkat Lunak
  1. Rumah
  2. Linux
  3. Lain
  4. bddbddb: BDD-Based Deductive Database
  5. Download

bddbddb: BDD-Based Deductive Database

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

Tentang bddbddb: BDD-Based Deductive Database

Database Deduktif Berbasis BDD, implementasi Datalog yang menggunakan Diagram Keputusan Biner sebagai struktur data yang mendasarinya. Ini memungkinkannya untuk mewakili hubungan berukuran eksponensial secara efisien.

Program Terkait

  • Proxy Pal For Networks Gratis

    PPFN, ini juga merupakan alat untuk disembunyikan dari log server apa pun, pengembang ini tahu apa yang harus mereka lakukan. Jika Anda mengunduh paket pamungkas ini, Anda akan dapat menikmati web mengetahui bahwa Anda akan a

  • XBMC / Boxee Remote Gratis

    Remote control untuk XBMC / Boxee.TOLONG BONGKAR v1.0!!!v3.1* Dukungan profil dalam preferensiv2.2* Perbaikan bug kecilv2.1* Perbaikan bug kecil untuk membuatnya bekerja dengan windows XBMCv2.0* Ikon yang le

  • jDTAUS Gratis

    Java implementasi fileformat DTAUS Jerman. Mendukung membaca, menambahkan, mengedit, menghapus operasi, dan catatan ekstensi. Aplikasi GUI tersedia untuk menunjukkan semua fitur yang tersedia. Lihat tangkapan layar.

  • Alligator Snap Uji Coba Gratis

    Posisikan halaman web Anda sendiri dalam 3 langkah mudah. Anda tidak memerlukan pengalaman sebelumnya - Alligator Snap hadir dengan templat Web yang dirancang sebelumnya dan banyak fitur hebat. Template tambahan dapat diunduh

  • Mayur Linux Gratis

    Sistem operasi Mayur Linux didasarkan pada kernel LinuxPAE64 yang memungkinkan biner x86-64 berjalan pada sistem operasi 32 bit jika prosesor kompatibel dengan x86-64.

  • RIDGID Digital Bubble Level Uji Coba Gratis

    RIDGID® Digital Bubble Level memiliki tiga botol untuk pipa ledeng, level, dan miter 45°. Ada fitur suara opsional yang memungkinkan Anda menentukan hasilnya dengan lans suara untuk situasi ketika Anda tidak dapat melihat la

  • CNC GCODE Coordinate Transposition Tool Gratis

    Alat Python 3.1 ini memanipulasi sistem koordinat CNC GCODE untuk pemesinan atau pengukiran. Ini dapat Flip X, Y, atau Z koordinat, cermin X, Y, atau Z koordinat, flip atau Cermin kedua koordinat XY, atau memasukkan gerakan Z

  • Cell Messaging Layer Gratis

    Cell Messaging Layer adalah perpustakaan komunikasi yang sangat cepat dan mirip MPI untuk kluster prosesor Cell Broadband Engine. Dengan itu, setiap elemen pemrosesan sinergis Cell (SPE) dapat berkomunikasi langsung dengan SP

  • cccl Gratis

    cccl adalah pembungkus di sekitar cl.exe dan link Microsoft Visual C++.exe. Ini mengubah parameter baris perintah kompilasi Unix menjadi parameter yang setara untuk cl dan link.

  • C/C++ Program Perfometer Gratis

    Program ini memungkinkan untuk mendapatkan kinerja program C / C + + dan potongan kode yang dipisahkan untuk metrik apa pun (misalnya: waktu, memori, metrik yang ditentukan oleh pengguna, dll.). Hasil pengukuran diwakili dala