如何将文件加载到 Sat Solver？

如何解决如何将文件加载到 Sat Solver？

我正在学习工作，所以求解器坐着。这是一个加密小型化求解器。 我知道我们需要在那里加载一个文件，其中包含 Dimacs 格式的 Cnf 示例。 我不知道怎么把他弄到那里。 即使我在命令行中写入，它也只会将我向下移动一行。我在不同的论坛上尝试过命令，但没有任何效果。

我试图输入这样的记录，但没有成功

C:\Users\Pifkoooo\Desktop\skola\dp\dp\satsolver\cryptominisat5-win-amd64-nogauss --verb 5 DIMACSsach.txt

编辑：

我发现我必须在 cmd 中打开它，只是现在文件不会为我打开，因为即使我知道它存在它也不存在

错误

No such directory

他们能告诉我如何使用卫星求解器吗？