Software verzenden
  1. Home
  2. Linux
  3. Andere
  4. bddbddb: BDD-Based Deductive Database

bddbddb: BDD-Based Deductive Database

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 5.0/5 - ‎1 ‎Stemmen
Downloaden

BDD-gebaseerde deductieve database, een implementatie van Datalog die binaire beslissingsdiagrammen gebruikt als de onderliggende gegevensstructuur. Dit maakt het mogelijk om exponentieel formaat relaties efficiënt te vertegenwoordigen.

versiegeschiedenis

  • Versie N/A geplaatst op 2011-08-06
    Verschillende oplossingen en updates
  • Versie N/A geplaatst op 2011-08-06

Programmadetails

Gerelateerde programma's

  • Proxy Pal For Networks Gratis

    PPFN, het is ook een hulpmiddel om te worden verborgen voor een server log, deze ontwikkelaars weten wat ze moeten doen. Als u dit ultieme pakket downloadt, u genieten van het web in de wetenschap dat u veilig zou zijn. Dus w

  • XBMC / Boxee Remote Gratis

    Afstandsbediening voor XBMC / Boxee.Verwijder v1.0!!!v3.1* Profielen ondersteunen in voorkeurenv2.2* Minor bug fixv2.1* Minor bug fix om het te laten werken met Windows XBMCv2.0* Grotere pictogrammen* Toet

  • jDTAUS Gratis

    Java implementatie van de Duitse DTAUS fileformat. Ondersteunt lees-, toe te voegen, bewerken, verwijderen van bewerkingen en extensierecords. Er is een GUI-toepassing beschikbaar die alle beschikbare functies demonstreert. Z

  • Alligator Snap Gratis proefperiode

    Maak uw eigen webpagina's samen in 3 eenvoudige stappen. Je hebt geen eerdere ervaring nodig - Alligator Snap wordt geleverd met vooraf ontworpen websjablonen en tal van geweldige functies. Extra sjablonen kunnen gratis worde

  • Mayur Linux Gratis

    Mayur Linux besturingssysteem is gebaseerd op LinuxPAE64 kernel waarmee x86-64 binaries te draaien op een 32 bit besturingssysteem als de processor is x86-64 compatibel.

  • RIDGID Digital Bubble Level Gratis proefperiode

    Het RIDGID® Digital Bubble Level beschikt over drie flesjes voor plumb, level en 45° miter. Er is een optionele geluidsfunctie waarmee u uw resultaten hoorbaar bepalen voor situaties waarin u het scherm niet bekijken. Het d

  • CNC GCODE Coordinate Transposition Tool Gratis

    Deze Python 3.1 tool manipuleert het coördinatensysteem van CNC GCODE voor bewerking of gravure. Het kan Flip X, Y, of Z coördinaten, spiegel X, Y, of Z coördinaten, flip of Mirror beide XY coördinaten, of voeg Z-bewegingen i

  • Cell Messaging Layer Gratis

    De Cell Messaging Layer is een uiterst snelle, MPI-achtige communicatiebibliotheek voor clusters van Cell Broadband Engine-processors. Hiermee kan elk Cell synergetisch verwerkingselement (SPE) rechtstreeks communiceren met e

  • cccl Gratis

    cccl is een wrapper rond Microsoft Visual C ++'s cl.exe en link.exe. Het zet Unix compiler command line parameters om in de gelijkwaardige parameters voor cl en link.

  • C/C++ Program Perfometer Gratis

    Het programma maakt het mogelijk om de prestaties van C / C + + programma en gescheiden stukken van de code voor alle statistieken (bijvoorbeeld: tijd, geheugen, statistieken gedefinieerd door de gebruiker, enz.). De meetresu