Hantar Perisian
  1. Rumah
  2. Linux
  3. Lain
  4. bddbddb: BDD-Based Deductive Database

bddbddb: BDD-Based Deductive Database

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

Pangkalan Data Deduktitif Berasaskan BDD, pelaksanaan Datalog yang menggunakan Gambar Rajah Keputusan Perduaan sebagai struktur data asas. Ini membolehkan ia mewakili hubungan bersaiz eksponen dengan cekap.

sejarah versi

  • Versi N/A diposkan pada 2011-08-06
    Beberapa pembaikan dan pengemaskinian
  • Versi N/A diposkan pada 2011-08-06

Butiran Atur Cara

Atur Cara Berkaitan

  • Proxy Pal For Networks Percuma

    PPFN, ia juga merupakan alat yang akan disembunyikan dari mana-mana log pelayan, pemaju ini tahu apa yang mereka perlu lakukan. Adakah anda? Jika anda memuat turun pakej utama ini, anda akan dapat menikmati web mengetahui bah

  • XBMC / Boxee Remote Percuma

    Alat kawalan jauh untuk XBMC / Boxee.SILA BUANG PEMASANGAN V1.0!!!v3.1* Sokongan profil dalam keutamaanv2.2* Pembaikan pepijat kecilv2.1* Pembaikan pepijat kecil untuk menjadikannya berfungsi dengan tingkap XBMC

  • jDTAUS Percuma

    Java melaksanakan failformat DTAUS Jerman. Menyokong membaca, menambah, mengedit, memadam operasi dan rekod sambungan. Aplikasi GUI boleh didapati menunjukkan semua ciri yang ada. Lihat tangkapan skrin.

  • Alligator Snap Percubaan Percuma

    Snap bersama-sama laman web anda sendiri dalam 3 langkah mudah. Anda tidak memerlukan pengalaman terlebih dahulu - Alligator Snap dilengkapi dengan templat Web yang direka pra-reka dan banyak ciri hebat. Templat tambahan bole

  • Mayur Linux Percuma

    Sistem operasi Mayur Linux adalah berdasarkan linuxPAE64 isirong yang membolehkan binari x86-64 berjalan pada sistem operasi 32 bit jika pemproses adalah x86-64 serasi.

  • RIDGID Digital Bubble Level Percubaan Percuma

    Tahap Gelembung Digital ® RIDGID mempunyai tiga vial untuk paip, aras dan 45° miter. Terdapat ciri bunyi pilihan yang membolehkan anda menentukan keputusan anda untuk situasi apabila anda tidak dapat melihat skrin. Paparan

  • CNC GCODE Coordinate Transposition Tool Percuma

    Alat Python 3.1 ini memanipulasi sistem koordinat CNC GCODE untuk pemesinan atau ukiran. Ia boleh Flip X, Y, atau Z koordinat, cermin X, Y, atau koordinat Z, flip atau Mirror kedua-dua koordinat XY, atau sisipkan gerakan Z ke

  • Cell Messaging Layer Percuma

    Lapisan Pemesejan Sel adalah perpustakaan komunikasi yang sangat cepat, seperti MPI untuk kelompok pemproses Enjin Jalur Lebar Sel. Dengan itu, mana-mana elemen pemprosesan sinergi Sel (SPE) boleh berkomunikasi secara langsun

  • cccl Percuma

    cccl adalah pembalut di sekitar microsoft Visual C ++'s cl.exe dan link.exe. Ia menukar parameter garis arahan pengkomputer Unix ke dalam parameter yang setara untuk cl dan link.

  • C/C++ Program Perfometer Percuma

    Program ini membolehkan untuk mendapatkan prestasi program C / C ++ dan kod berasingan untuk mana-mana metrik (contohnya : masa, ingatan, metrik yang ditakrifkan oleh pengguna dan lain-lain). Keputusan pengukuran diwakili dal