SeedKC知识编译器是晞德求索研发的一款能够对知识进行处理和转换的工具，它可以将知识从一种表示形式转换为另一种更适合计算机处理和推理的形式。

SeedMaxSAT求解器是晞德求索针对最大布尔可满足性问题（Maximum Satisfiability Problem，简称 MaxSAT） 研发的一款商业级求解器。对于带硬约束和软约束的布尔逻辑公式，SeedMaxSAT求解器支持找到满足所有硬约束、并且满足最多软约束的赋值。