bddbddb: BDD-Based Deductive Database

Các chương trình liên quan

• Proxy Pal For Networks Miễn phí

  PPFN, nó cũng là một công cụ để được ẩn từ bất kỳ nhật ký máy chủ, các nhà phát triển biết những gì họ phải làm. Nếu bạn tải về gói cuối cùng này, bạn sẽ có thể thưởng thức các trang web biết rằng bạn sẽ được an toàn. Vì vậy,

• XBMC / Boxee Remote Miễn phí

  Điều khiển từ xa cho XBMC / Boxee.XIN VUI LÒNG GỠ BỎ CÀI ĐẶT v1.0!!!v3.1* Hồ sơ hỗ trợ trong sở thíchv2.2 (Bằng chứng là 2.2)* Sửa lỗi nhỏv2.1 (Bằng chứng là 2.1)* Sửa lỗi nhỏ để làm cho nó hoạt động với windows

• jDTAUS Miễn phí

  Java thực hiện các fileformat DTAUS Đức. Hỗ trợ đọc, thêm, chỉnh sửa, xóa các hoạt động và bản ghi tiện ích mở rộng. Một ứng dụng GUI có sẵn chứng minh tất cả các tính năng có sẵn. Xem ảnh chụp màn hình.

• Alligator Snap Dùng thử miễn phí

  Đính cùng các trang web của riêng bạn trong 3 bước đơn giản. Bạn không cần bất kỳ trải nghiệm nào trước đó - Alligator Snap đi kèm với các mẫu Web được thiết kế sẵn và vô số tính năng tuyệt vời. Các mẫu bổ sung có thể được tả

• Mayur Linux Miễn phí

  Hệ điều hành Mayur Linux dựa trên hạt nhân LinuxPAE64 cho phép những chương trình x86-64 chạy trên hệ điều hành 32 bit nếu bộ xử lý tương thích với x86-64.

• RIDGID Digital Bubble Level Dùng thử miễn phí

  Ridgid® Bubble Level có ba lọ cho ống nước, mức độ và miter 45 °. Có một tính năng âm thanh tùy chọn cho phép bạn xác định rõ ràng kết quả của mình cho các tình huống khi bạn không thể xem màn hình. Màn hình cũng hiển thị c

• CNC GCODE Coordinate Transposition Tool Miễn phí

  Công cụ Python 3.1 này thao tác hệ tọa độ của CNC GCODE để gia công hoặc khắc. Nó có thể lật tọa độ X, Y hoặc Z, phản chiếu tọa độ X, Y hoặc Z, lật hoặc Phản chiếu cả hai tọa độ XY hoặc chèn chuyển động Z vào tệp GCODE không

• Cell Messaging Layer Miễn phí

  Lớp nhắn tin di động là một thư viện giao tiếp cực kỳ nhanh, giống như MPI cho các cụm bộ xử lý Cell Broadband Engine. Với nó, bất kỳ yếu tố xử lý hiệp đồng Cell (SPE) nào cũng có thể giao tiếp trực tiếp với bất kỳ SPE nào kh

• cccl Miễn phí

  cccl là một wrapper xung quanh Microsoft Visual C ++ của cl.exe và liên kết.exe. Nó chuyển đổi các tham số dòng lệnh trình biên dịch Unix thành các tham số tương đương cho cl và liên kết.

• C/C++ Program Perfometer Miễn phí

  Chương trình cho phép để có được hiệu suất của C / C + + chương trình và phần riêng biệt của mã cho bất kỳ số liệu (ví dụ: thời gian, bộ nhớ, số liệu được xác định bởi người sử dụng vv). Kết quả đo lường được thể hiện trong b