问除了Simple Solver之外，有没有其他软件可以解决给定输入/输出的数字电路？
EN

Stack Overflow用户

提问于 2012-10-30 15:09:56

回答 1查看 1.5K关注 0票数 2

所有的-

我在这里找到了一个叫做“简单解算器”的东西：

你可以在这里下载

我的问题是: Simple Solver是不是唯一一个可以在给定输入/输出的情况下为你解决数字电路的软件？除了Simple Solver之外，还有其他可以解决数字电路的软件吗？

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

发布于 2013-01-13 22:23:36

看看Logic Friday 1吧。这是一个交互式工具，因此可以处理/求解定义为函数表、表达式或门网络的布尔表达式。另一个很酷的工具是BC2CNF。与CryptoMinisat之类的SAT Solver相结合，BC2CNF可用于求解布尔表达式并查找哪些变量值实际满足表达式。

票数 2

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/13141942

复制

相似问题

问除了Simple Solver之外，有没有其他软件可以解决给定输入/输出的数字电路？EN