Prześlij oprogramowanie
  1. W: strona główna
  2. Linux
  3. Innych
  4. bddbddb: BDD-Based Deductive Database
  5. Download

bddbddb: BDD-Based Deductive Database

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 5.0/5 - ‎1 ‎Głosów

O bddbddb: BDD-Based Deductive Database

BDD-Based Deductive Database, implementacja Datalog, który używa binarnych diagramów decyzyjnych jako podstawowej struktury danych. Dzięki temu do reprezentowania wykładniczo wielkości relacji skutecznie.

Programy pokrewne

  • Proxy Pal For Networks Wolna

    PPFN, jest to również narzędzie do ukrycia przed każdym logiem serwera, ci deweloperzy wiedzą co mają zrobić. Czy ty? Jeśli pobierzesz ten ostateczny pakiet będziesz mógł cieszyć się siecią, wiedząc, że będziesz bezpieczny. W

  • XBMC / Boxee Remote Wolna

    Pilot zdalnego sterowania dla XBMC / Boxee.PROSZĘ ODINSTALOWAĆ v1.0!!!wersja 3.1* Profile obsługują preferencjewersja 2.2* Drobne poprawki błędówwersja 2.1* Drobne poprawki błędów, aby to działało z windows XBMC

  • jDTAUS Wolna

    Implementacja java niemieckiego formatu pliku DTAUS. Obsługuje operacje odczytu, dodawania, edytowania, usuwania i rekordy rozszerzeń. Dostępna jest aplikacja gui demonstrująca wszystkie dostępne funkcje. Zobacz zrzuty ekranu

  • Alligator Snap Bezpłatna wersja próbna

    Zbierz własne strony internetowe w 3 prostych krokach. Nie potrzebujesz żadnego wcześniejszego doświadczenia - Aligator Snap jest wyposażony w wstępnie zaprojektowane szablony sieci Web i mnóstwo wspaniałych funkcji. Dodatkow

  • Mayur Linux Wolna

    System operacyjny Mayur Linux jest oparty na jądrze LinuxPAE64, które umożliwiają działanie plików binarnych x86-64 w 32-bitowym systemie operacyjnym, jeśli procesor jest kompatybilny z x86-64.

  • RIDGID Digital Bubble Level Bezpłatna wersja próbna

    RIDGID® Digital Bubble Level posiada trzy fiolki do pionu, poziomu i 45° ścięcia. Istnieje opcjonalna funkcja dźwięku, która pozwala na słyszalne określenie wyników w sytuacjach, gdy nie można wyświetlić ekranu. Wyświetlacz

  • CNC GCODE Coordinate Transposition Tool Wolna

    To narzędzie Python 3.1 manipuluje układem współrzędnych CNC GCODE do obróbki lub grawerowania. Może przerzucać współrzędne X, Y lub Z, lustrzane współrzędne X, Y lub Z, przerzucać lub odsłaniać obie współrzędne XY lub wstawi

  • Cell Messaging Layer Wolna

    Cell Messaging Layer to niezwykle szybka, podobna do MPI biblioteka komunikacyjna dla klastrów procesorów Cell Broadband Engine. Dzięki niemu każdy synergiczny element przetwarzania cell (SPE) może komunikować się bezpośredni

  • cccl Wolna

    cccl jest otoką wokół cl.exe i linku microsoft Visual C++.exe. Konwertuje parametry wiersza polecenia kompilatora Unix na równoważne parametry dla cl i link.

  • C/C++ Program Perfometer Wolna

    Program umożliwia uzyskanie wydajności programu C/C++ i oddzielonych fragmentów kodu dla dowolnych metryk (na przykład: czas, pamięć, metryki zdefiniowane przez użytkownika itp.). Wyniki pomiarów są przedstawione w szczegółow