bddbddb: BDD-Based Deductive Database
Pobieranie będzie można pobrać w ciągu 5 sekund.
Możesz również kliknąć następujący link do pobierania zewnętrznego, aby rozpocząć pobieranie:
http://bddbddb.cvs.sourceforge.net/bddbddb\nhttp://bddbddb.svn.sourceforge.net/
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