HOL 7
HOL从短高阶逻辑是其中的定理可以证明和防爆工具实现的编程环境。内置的决策程序和定理证明能自动建立很多简单的定理。一个oracle的机制可以访问外部程序，如SAT和BDD引擎。HOL 4特别适合作为实现的扣除，执行和检查物业组合的平台 什么在此版本中是新的： 在HolSmtLib现在还支持Z3证明重建目标涉及固定宽度的文字和翻译HOL进入SMT-LIB 2格式。在HolQbfLib支持检查既有效性和证书Squolem 2.02的无效。...
最近浏览的软件
MySQL Find and Replace Software 1 Jan 15
SharePoint Performance Monitor 26 Jan 15
Radmin Server and Viewer 18 Jan 18
Wyrmstooth Skyrim Mod 27 Apr 17
IDAutomation Linear Image Generator 1 Jan 15
OpenLink Multi-Tier Edition ODBC Driver & Server Components for MySQL 3.x 3 Jan 15
-
Innobate Remote Command Executor 21 Sep 15
PDF Print Multiple Files Software 21 Sep 15
-
OpenCL for Borland Delphi 21 Jan 15
SomePDF Creator 26 Jan 15