查看会员资料

用 户 名：tia***

转帐 | 发送消息
  • Email：
    用户隐藏
  • Icq/MSN：
    qq
  • 电话号码：
  • Homepage：
  • 会员简介：
    这家伙很懒,什么都没留下!

最新会员发布资源

  1. cvc4-1.0.tar

    0下载量：
  2. 符合smt标准的约束求解器，能处理线性算术、位向量等。-rational and integer linear arithmetic, arrays, tuples, records, inductive data types, bit-vectors, strings, and equality over uninterpreted function symbols

  3. 所属分类：数学计算/工程计算

    • 发布日期：2025-06-10
    • 文件大小：5818368

源码中国 www.ymcn.org