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

首页 ꄲ 阿卡斯

阿卡斯logo1

넳

넲

阿卡斯

为阿卡思提供 SAT并行预处理器。在电路BMC应用场景，使得固定深度BMC工具求解性能超出其原有工具求解性能的30%

大家都在看

ꄴ上一个：某通信巨头电路等价性验证项目

ꄲ下一个：芯华章

-

版权所有© 晞德求索

京ICP备12345678号

本网站由阿里云提供云计算及安全服务

本网站支持 IPv6

Powered by CloudDream