如何在 ubuntu 中安装 bc2cnf？

Question

我想使用 bc2cnf 工具为数字电路生成 CNF。请告诉我如何安装和运行bc2cnf使用终端在 ubuntu 中运行工具（来自 BC 包）。提前致谢！

Answer 1

我猜你没有太多编译经验...因此，请按照非常简洁的步骤进行操作：

1. 下载 zip 文件，并解压。
2. 打开 shell 并cd进入包含文件的文件夹。
3. ls -l *.txt显示有一个 README 文件...
4. 键入less README.txt（像往常一样按 ENTER 键！）来阅读...
5. 在那里你会发现make utilty_name，
6. ... 在 shell 提示符下尝试这些...
7. 假设在处理（编译！）完成时没有打印error或文本，您可能会发现出现了一个以相同方式命名的可执行文件，failed
8. 请与 核对ls -l。
9. ./utilty_name --help然后可能会给出更多关于如何使用它的提示。

现在请注意：我还没有尝试使用您可以下载的文件进行上述操作。因此上述操作可能会失败，我无法帮助您解决任何问题……这至少需要了解这些实用程序的工作原理。