Invia software
  1. Casa
  2. Linux
  3. Altro
  4. bddbddb: BDD-Based Deductive Database
  5. Download

bddbddb: BDD-Based Deductive Database

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 5.0/5 - ‎1 ‎Voti

Circa bddbddb: BDD-Based Deductive Database

Database deduttivo basato su BDD, un'implementazione di Datalog che utilizza diagrammi decisionali binari come struttura dati sottostante. Ciò gli consente di rappresentare relazioni di dimensioni esponenziali in modo efficiente.

Programmi correlati

  • Proxy Pal For Networks Gratuito

    PPFN, è anche uno strumento da nascosto da qualsiasi registro del server, questi sviluppatori sanno cosa devono fare. Vero? Se scarichi questo pacchetto definitivo sarai in grado di goderti il web sapendo che sarai al sicuro.

  • XBMC / Boxee Remote Gratuito

    Telecomando per XBMC / Boxee.DISINSTALLARE v1.0!!!V3.1* Supporto dei profili nelle preferenzeV2.2* Correzione di bug minoriV2.1* Correzione di bug minori per farlo funzionare con Windows XBMCV2.0* Icone più

  • jDTAUS Gratuito

    Implementazione Java del formato di file DTAUS tedesco. Supporta le operazioni di lettura, aggiunta, modifica, eliminazione e i record di estensione. È disponibile un'applicazione GUI che dimostra tutte le funzionalità dispon

  • Alligator Snap Prova gratuita

    Aggancia le tue pagine Web in 3 semplici passaggi. Non hai bisogno di alcuna esperienza precedente: Alligator Snap è dotato di modelli Web pre-progettati e un sacco di fantastiche funzionalità. Ulteriori modelli possono esser

  • Mayur Linux Gratuito

    Il sistema operativo Mayur Linux è basato sul kernel LinuxPAE64 che consente ai binari x86-64 di funzionare su un sistema operativo a 32 bit se il processore è compatibile con x86-64.

  • RIDGID Digital Bubble Level Prova gratuita

    Il RIDGID® Digital Bubble Level è dotato di tre flaconcini per piombo, livello e mitra a 45°. Esiste una funzione audio opzionale che consente di determinare udibilmente i risultati per situazioni in cui non è possibile visu

  • CNC GCODE Coordinate Transposition Tool Gratuito

    Questo strumento Python 3.1 manipola il sistema di coordinate di CNC GCODE per la lavorazione o l'incisione. Può capovolgere le coordinate X, Y o Z, le coordinate speculari X, Y o Z, capovolgere o specchiare entrambe le coord

  • Cell Messaging Layer Gratuito

    Cell Messaging Layer è una libreria di comunicazione mpi estremamente veloce per cluster di processori Cell Broadband Engine. Con esso, qualsiasi elemento di elaborazione sinergica Cell (SPE) può comunicare direttamente con q

  • cccl Gratuito

    cccl è un wrapper intorno al cl.exe e al collegamento di Microsoft Visual C++.exe. Converte i parametri della riga di comando del compilatore Unix nei parametri equivalenti per cl e link.

  • C/C++ Program Perfometer Gratuito

    Il programma consente di ottenere prestazioni del programma C / C ++ e pezzi di codice separati per qualsiasi metrica (ad esempio: tempo, memoria, metriche definite dall'utente ecc.). I risultati delle misurazioni sono rappre