equ-iitg formal equivalence checker 1.2

相关软件

• ArmedBear / J 免费

  武装熊 （ABCL） 是用 Java 书写的常用 Lisp。它的编译器生成JVM字节代码，利用Java的"一次写入，到处运行"的理念。J 是用 Java 编写的文本编辑器，具有语法突出显示和自动缩进等功能。

• Integrated PearPC GUI 免费

  IPG 是集成的 PearPC GUI，它允许您在基于 Windows 的 GUI 中配置和运行 PearPC 仿真器。

• wxWindows Project Manager for VC7 免费

  一组工具，用于简化 wxWindows 与 Visual C++ 7。

• flam3 editor 免费

  Flam3 编辑器是围绕传统的 flam3 软件包构建的。编辑器允许您加载、编辑和保存宇宙递归分形火焰，如电羊或物理文件，它处理传统的 flam3 xml 参数文件。

• InvisiBright Free 免费试用

  **如果你喜欢这个程序，请考虑尝试专业版:)**InvisiBright 是一个不可见的亮度调整实用程序。通过在屏幕上轻扫或倾斜设备，从任何应用程序内部进行调整。保持亮度在检查像这样是最好的方式，以节省电池！功能包括：- 搜索键保持快捷方式（仅专业版）- 状态栏快捷方式- 半透明滑动板（仅专业版）- 主屏幕快捷方式（仅专业版）- 倾斜和触摸模式- 高度可定制的首选项- 没有后台服务！（电池吸盘）- 快

• serverM - a powerful host-based IDS 免费

  服务器M是一种极其灵活的基于基于主机的入侵检测系统（HIDS）。它作为 Perl 守护进程运行，使用很少的 CPU，并且能够检测各种入侵。签名语言功能强大，报警选项各不相同。

• Eclipse SpringIDE Extensions 免费

  SpringIDE 项目的扩展（参见弹簧黄道和弹簧框架）。当前包括：类（移动/重命名）和方法（重命名）重构参与者、搜索支持和"快速修复"贡献。

• Generic Entity Manager 免费

  用 Lua 绑定编写的通用C++使用 Lua 绑定。在早期阶段 atm. 游戏实体系统 - 目前正在寻找其他项目成员。

• ajaxnet4j 免费

  ajaxnet4j 是著名专业图书馆Ajax.NET的 Java 实现。借助它，您可以专注于服务器端业务逻辑和客户端用户体验，并且不必花费太多时间在双方之间的连接上。

• NSketch, .Net sketch-based algorithms 免费

  NSketch 库提供最常见的基于草图的算法（直方图、分位数、频繁项、开花过滤器等）的实现。库以 C# 编写为 .Net。