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 模板和大量出色的功能。其他模板可以从程序本身内免费下载和安装。通过在线帮助和集成技术支持SupportBase

• 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++ 程序的性能，并可为任何指标（例如：时间、内存、用户定义的指标等）提供分离的代码片段。测量结果在详细/汇总报告中显示。详细