• 首页
  • 晞德求解器
    • SeedSAT/SeedMaxSAT求解器
    • SeedSMT求解器
    • SeedKC知识编译器
    • SeedHyPart超图划分求解器
    • SeedMIP混合整数规划求解器
  • AI产品
    • SeedModeler自动数学建模平台
    • SeedTuner高性能算法配置平台
  • 场景案例
    • 芯片设计EDA
    • 工业制造
  • 公司动态
  • 关于我们
넳 넲