• 首页
  • 逻辑求解器
    • SeedSAT求解器
    • SeedSMT求解器
  • 优化求解器
    • SeedMIP混合整数规划求解器
  • AI产品
    • SeedModeler自动数学建模平台
    • SeedTuner自动调参平台
  • 关于我们
  • 公司动态
首页  ꄲ  阿卡斯
阿卡斯logo1
넳 넲

阿卡斯

为阿卡思提供 SAT并行预处理器。在电路BMC应用场景，使得固定深度BMC工具求解性能超出其原有工具求解性能的30%
ꄴ上一个： 某通信巨头电路等价性验证项目
ꄲ下一个： 芯华章

-