问题描述
我正在学习工作，所以求解器坐着。这是一个加密小型化求解器。 我知道我们需要在那里加载一个文件，其中包含 Dimacs 格式的 Cnf 示例。 我不知道怎么把他弄到那里。 即使我在命令行中写入，它也只会将我向下移动一行。我在不同的论坛上尝试过命令，但没有任何效果。
我试图输入这样的记录，但没有成功
C:\Users\Pifkoooo\Desktop\skola\dp\dp\satsolver\cryptominisat5-win-amd64-nogauss --verb 5 DIMACSsach.txt
编辑：
我发现我必须在 cmd 中打开它，只是现在文件不会为我打开，因为即使我知道它存在它也不存在
No such directory
他们能告诉我如何使用卫星求解器吗？
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）