晞德求解器
工业软件的底层计算引擎
SeedModeler
自动数学建模平台——重新定义建模求解新范式
我们提供的产品
SeedSAT
布尔可满足性求解器
SeedMaxSAT
最大可满足性求解器
SeedKC
知识编译器
SeedHyPart
超图划分求解器
SeedMIP
混合整数规划求解器
SeedSMT
可满足性模理论求解器
SeedTuner
高性能算法配置平台
自动数学建模平台
公司动态
晞德求索斩获SMT-COMP 2025多个冠军
2025年8月，第20届国际可满足性模理论求解竞赛（SMT-COMP 2025）公布竞赛结果。晞德求索与中科院软件所团队联合研发的并行SMT(BV) 求解器在位向量分组获得三个分赛道冠军。
2025年8月，北京股权交易中心向晞德求索（北京）科技有限公司正式颁发北京“专精特新”专板企业证书。
晞德求索荣登北京“专精特新”专板
晞德求索完成深创投千万级天使轮融资
2025年7月，晞德求索完成千万级天使轮融资，由深创投（深圳市创新资本投资有限公司）独家投资。本轮融资将加速高性能求解器的技术研发和复合型团队体系的建设，进一步推动AI与数学计算的深度融合，拓展晞德求索在工业软件领域的场景应用布局。
To view this video please enable JavaScript, and consider upgrading to a web browser that
视频播放失败，请联系站点管理员！
