boolean-logic - 除了 Simple Solver 之外，还有什么软件可以求解给定输入/输出的数字电路？

Question

全部 -

我在这里找到了一个名为“简单求解器”的东西:

http://home.roadrunner.com/~ssolver/syn.html

您可以在这里下载

http://www.softpedia.com/progDownload/Simple-Solver-Download-103308.html

我的问题是:Simple Solver 是唯一能够根据您想要的输入/输出求解数字电路的软件吗？除了 Simple Solver 之外还有其他软件可以求解数字电路吗？

非常感谢所有/任何建议。

Answer 1

看看逻辑星期五1。这是一个交互式工具，可以处理/解决定义为函数表、表达式或门网络的 bool 表达式。另一个很酷的工具是 BC2CNF 。结合SAT Solver像CryptoMinisat ，BC2CNF可用于求解 bool 表达式并查找哪些变量值实际上满足该表达式。