The other is an automated analyzer (which incorporates a SAT solver) to hash through a multitude of possible scenarios.

• 另一种元素为自动分析器（内含SAT解析器），可反覆推敲众多可能出现的情节。