逻辑求解器

晞徳自主研发了高性能的SeedSAT、SeedSMT求解器，求解技术多次获得国际比赛世界冠军，可以支持芯片验证、软件验证等场景。

运筹优化求解器

晞德自主研发了高性能的SeedGraphOpt图求解器、SeedMIP混合整数规划求解器等，可支持各类优化场景，已帮助多个企业节省大量成本。

自动数学建模平台

SeedModeler是晞徳自主研发的自动建模平台，可用于运筹优化场景的自动数学建模，只需使用自然语言输入需求，即可实现自动建模、自动求解。

公司动态——德勤海淀高科技明日之星

由中关村科学城管理委员会担任指导单位，德勤中国与中关村创业大街联合主办的2022“海淀高科技高成长10强及明日之星”榜单评选，旨在发掘海淀区高速成长、蓬勃发展的高科技企业。晞德荣登其中“海淀明日之星”榜单。

2022中关村前沿科技创新大赛共吸引2500余项前沿科技项目报名参赛，是历年来参赛项目最多的一次大赛。大赛由来自高校院所、投资机构、领军企业等的12位专家受邀担任评委，评选出了新一代信息技术领域TOP10。晞德荣登榜单。

公司动态——中关村前沿科技大赛TOP10

公司动态——国际联合逻辑大会SMT金牌

我司参与研发的SMT求解器Z3++获得国际联合逻辑大会SMT金牌。