bddbddb: BDD-Based Deductive Database

相關軟體

• Proxy Pal For Networks 免費

  Ppfn， 它也是一個從任何伺服器日誌中隱藏的工具， 這些開發人員知道他們必須做什麼。你呢？如果你下載這個最終的包，你將能夠享受網路知道，你會是安全的。所以要安全，學會衝浪的權利 - PPFN

• XBMC / Boxee Remote 免費

  XBMC/ Boxee 的遙控器。請卸載 v1.0!!!v3.1。* 首選項中的設定檔支援v2.2。* 次要錯誤修復v2.1。* 小錯誤修復， 使其與視窗 Xbmc 工作v2.0。* 更大的圖示* 使用鍵盤輸入文字* 更多按鈕• 錯誤修復v1.0。*瀏覽視頻，音樂和圖片和相應的播放清單* 在清單檢視中播放或排隊專案

• jDTAUS 免費

  德國 DTAUS 檔案格式的 Java 實現。支援讀取、添加、編輯、刪除操作和擴展記錄。GUI 應用程式可用於示範所有可用功能。請參閱屏幕截圖。

• Alligator Snap 免費試用

  在3個簡單的步驟中將您自己的網頁對齊在一起。您不需要任何以前的體驗 - 鱷魚快照附帶預先設計的 Web 範本和大量出色的功能。其他範本可以從程式本身內免費下載和安裝。通過線上説明和整合式技術支援SupportBase.NET隨時需要説明。在3個簡單的步驟中將您自己的網頁對齊在一起。您不需要任何以前的體驗 - 鱷魚快照附帶預先設計的 Web 範本和大量出色的功能。其他範本可以從程式本身內免費下載和安裝。通過線上説明和整合式技術支援SupportBa

• Mayur Linux 免費

  Mayur Linux 作業系統基於 LinuxPAE64 內核，允許 x86-64 二進位檔在處理器 x86-64 相容時在 32 位元作業系統上運行。

• RIDGID Digital Bubble Level 免費試用

  RIDGID®數位氣泡級具有三個小瓶，用於羽花、電平和 45° 斜接。 有一個可選的聲音功能，允許您在無法查看螢幕時，可以聽覺確定結果。 顯示幕還顯示感測器當前報告的精確測量值。 該應用程式允許您校準垂直和水準小瓶，以允許手機與按鈕或攝像頭的側面或背面，可能會干擾您的讀數。

• CNC GCODE Coordinate Transposition Tool 免費

  此 Python 3.1 工具操作 CNC GCODE 的座標系，用於加工或雕刻。它可以翻轉 X、Y 或 Z 座標、鏡像 X、Y 或 Z 座標、翻轉或鏡像兩個 XY 座標，或將 Z 運動插入沒有這些座標的 GCODE 檔中。

• Cell Messaging Layer 免費

  單元消息層是一個極快的、與 MPI 一樣通信庫，用於蜂窩寬頻引擎處理器群集。有了它，任何細胞協同處理元素 （SPE） 都可以直接與任何其他 SPE 通信，甚至跨網路。

• cccl 免費

  cccl 是微軟 Visual C++的 cl .exe和連結.exe。 它將 Unix 編譯器命令列參數轉換為 cl 和連結的等效參數。

• C/C++ Program Perfometer 免費

  該程式能夠獲得 C/C++ 程式的性能，並可為任何指標（例如：時間、記憶體、使用者定義的指標等）提供分離的代碼片段。測量結果在詳細/匯總報告中顯示。詳細