Simple Solver简单的求解（SSolver）提供了一套四个设计工具：布尔，合成，置换和随机数。设计与分析布尔方程和状态机往往是一项极其复杂和耗时的任务。即使找到解决办法可以是非常困难的分析或修改。