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

SeedSAT

可满足性问题（SAT）求解器

SeedSAT是晞德针对大规模布尔可满足性问题（Propositional Satisfiability Problem，简称 SAT）研发的一款高效求解器，支持SAT问题及SAT问题的增量式求解，支持计算不可满足核（UNSAT Core）。借助SeedSAT，企业可实现大规模逻辑约束问题的快速求解，为电子设计自动化 (EDA)、工业制造、密码学、软件验证及测试等领域应用场景提供核心计算引擎

넳 넲

  • 大规模

    支持亿级变量问题求解

  • 速度快

    在大规模问题上可快速求解

    国际SAT求解器比赛多次获得冠军 支持大规模并行、分布式求解

    支持大规模并行、分布式求解国际标准数据集多次刷新世界记录

  • 功能强大

    支持增量式求解

    支持不可满足核（UNSAT Core）的计算

    提供丰富易用的编程接口

  • 国产自主知识产权

    国内团队自主研发，拥有完全自主知识产权，保障芯片设计、工业制造、能源、军事等核心领域的数据及技术安全，为国家解决卡脖子问题提供支持

SeedSAT优势

OUR ADVANTAGE

性能

PERFORMANCE