文件名称:cvc4-1.0.tar
下载
别用迅雷、360浏览器下载。
如迅雷强制弹出,可右键点击选“另存为”。
失败请重下,重下不扣分。
如迅雷强制弹出,可右键点击选“另存为”。
失败请重下,重下不扣分。
介绍说明--下载内容均来自于网络,请自行研究使用
符合smt标准的约束求解器,能处理线性算术、位向量等。-rational and integer linear arithmetic, arrays, tuples, records, inductive data types, bit-vectors, strings, and equality over uninterpreted function symbols
(系统自动生成,下载前可以参看下载内容)
下载文件列表
19854803cvc4-1.0.tar