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。