PLMan - Propositional Logic Parser 2.0

相關軟體

• BenQ Laptop to Hotspot Converter 免費試用

  BenQ 筆記型電腦到熱點轉換器將您的 BenQ 筆記型電腦轉換為無線熱點。通過該軟體，您的 BenQ 筆記型電腦（Windows 平臺）將變成 Wi-Fi 熱點，以便您能夠與第二台筆記型電腦、朋友或行動裝置共用網路。當然，您不想在旅行中攜帶無線路由器。但是，您必須為您的手機找到一個 Wi-Fi 熱點。筆記型電腦到熱點轉換器系列軟體使您的生活更輕鬆。現在，您可以在任何地方擁有自己的熱點。

• Windows-Hosted Cell SDK 免費

  由 Windows 託管的 Cell-BE SDK。這是標準的 Cell BE Linux SDK 和 GCC 編譯器，但託管在 Windows （Cygwin） 下，並跨編譯單元格 Linux。

• Pyana 免費

  Pyana 是一個擴充模組，允許 Python 程式與 Apache 軟體基金會的 Xalan XSLT 轉換引擎進行介面。

• pw7 免費

  pw7 是基於 perl 的 GnuPG 包裝，便於對超級使用者密碼的加密資料庫進行安全、加密、精細的存取控制。

• XCV 免費

  XCV 是一組模組化 XSL 轉換，它透過簡單的源 XML 文件生成符合 XHTML 的課程 Vitae。 考慮到 CSS 和/或 HTML 體驗，設定和自定義結果非常簡單，並且獨立於 XML 源。

• Genesis Coupe Navigation Hack 免費

  這個項目是專門為駭客與導航目前在2010年現代創世紀跑車。這僅適用於配備在車中的導航軟體的車型。

• B.E.S.S. 免費

  該專案由匈牙利G.O.P.專案，專案ID：G.O.P.-1-1-1-1-08/1-2008-0015贊助。該專案的目的是創建基於生物識別認證的 IP 加密最佳端到端語音的原型。

• SyncPro 免費

  SyncPro 是針對處理的質譜數據進行可視化包。它使用圖形中的同步和分層技術來同時可視化 MS 數據集組。

• Generic URL Creator 免費

  GUC 是一個 Mozilla 火狐/Mozilla 雷鳥擴展，從所選文本中快速生成 URL。只需右鍵按下所選文本，然後選擇要從上下文菜單打開的 URL。對於目錄/字典搜索和其他查找非常有用。

• LogScanLauncher 免費

  一個命令行實用程式，用於監視應用程式日誌檔，並在日誌檔中的新條目滿足正則表達式時觸發新事件。該實用程式可通過修改應用程式 ini 檔中的項目進行配置。