我正在尝试在2-SAT和3-SAT上完成任务，我被允许在网上搜索该程序的实现。我在Python中遇到了两个基本上可以运行的程序，它们使我能够继续完成我的任务。但是我无法从一个程序中获取输出来提供另一个程序：
此处的代码：http://goo.gl/6fdlq应为此处的代码提供输入：http://goo.gl/rdfyR 这是指示所说的：
Python中的问题生成器 - 生成C语法表达式 或输入...完全功能 Python中的GSAT求解器 - 需要输入 从上面并试图满足 它，同时生成一个日志 旨在教学的输出 那些不熟悉GSAT的人 算法
任何人都可以告诉我该怎么做？
答案 0 :(得分：2)
您要做的是将第一个脚本的输出传输到第二个脚本。
由于脚本似乎分别命名为3sat.py和gsat.py，只需将cd放入他们所在的目录并运行：
./3sat.py | ./gsat.py
或等同于：
python 3sat.py | python gsat.py