简单的求解器（SSolver）提供了四个设计工具套件：布尔，合成，置换和随机数。

设计与布尔方程和状态机的分析往往是一项极其复杂和耗时的任务。即使找到了解决办法可以是非常困难的分析或修改。

主要的两个SSolver是布尔和综合功能：

1。布尔方程（贝克）处理器颠倒，最大限度地减少并产生一个或真值表的布尔方程组。算格式支援多种语言，包括：阿贝尔，c语言，C + +，PALASM，Verilog语言VB和VHDL语言。

2。合成功能（SYN）的设计和提供自动从真值表或波形输入数字逻辑电路仿真。所有的电路类型和配置支持：组合，连续，同步和异步。

简单的求解是一个有用的公差，这将帮助您创建和评估各种设计。