查看会员资料
用 户 名：tia***
发送消息- Email：用户隐藏
- Icq/MSN：
- 电话号码：
- Homepage：
- 会员简介：
最新会员发布资源
cvc4-1.0.tar
- 符合smt标准的约束求解器，能处理线性算术、位向量等。-rational and integer linear arithmetic, arrays, tuples, records, inductive data types, bit-vectors, strings, and equality over uninterpreted function symbols