• 首页
  • 产品中心
    • ꁕ 逻辑约束求解器
      • SeedSAT求解器
      • SeedSMT求解器
      • SeedCompiler逻辑编译器
    • ꁕ 运筹优化求解器
      • SeedGraphOpt图求解器
      • SeedMIP混合整数规划求解器
    • ꁕ 自动数学建模平台
    • ꁕ 自动调参平台
  • 公司动态
  • 关于我们
    • 关于我们
    • 加入我们
    • 联系我们
  • 首页
  • 产品中心
    • ꁕ 逻辑约束求解器
      • SeedSAT求解器
      • SeedSMT求解器
      • SeedCompiler逻辑编译器
    • ꁕ 运筹优化求解器
      • SeedGraphOpt图求解器
      • SeedMIP混合整数规划求解器
    • ꁕ 自动数学建模平台
    • ꁕ 自动调参平台
  • 公司动态
  • 关于我们
    • 关于我们
    • 加入我们
    • 联系我们
넳 넲
ꁲ

尝鲜申请

申请产品 *

必填字段

姓名 *

机构 *

电话 *

邮箱 *

请输入您的需求内容，我们会尽快联系您 *

逻辑编译器

SeedComplier 1.0  高性能逻辑编译器

SeedComplier是晞徳自主研发的逻辑模型计数求解器和模型存储器，可用于高效的存储逻辑公式的所有可满足解、查询解是否可满足和统计解空间的规模。