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 文件中的条目进行配置。