SAT4J 嵌入求解器异常
SAT4J embbeding solver exception
我正在尝试为我的学校项目构建 N*N 皇后放置问题求解器。我做了一个程序，就是生成 CNF 语句。我试图将其地址作为 "SAT4J embbeding solver" 7th page, 3.1 的参数，但它一直抛出 ParseFormatException。我还尝试使用我在 Whosebug 上找到的这个文本文件：
c you can put comment here.
c Formatted by Whosebug.
p cnf 9 12
-1 2
-2 1
-3 4
-4 3
1
3
-5 -4
-6 -4
-7 -4
-8 -4
-9 -4
-2 -4
也不走运。我唯一编辑的是异常的 catch 块，所以我可以看到它是哪一个。我试图通过 IntelliJ Idea 社区版中的 Alt+Shift+F10 配置菜单为其提供参数。
有人可以帮助 me/guide 我吗？这是我第一次使用其他人的代码 + 没有任何我认为可用的教程。
也许，你可以建议我其他方式。我只需要 SAT 求解器来解决这个问题并给我输出，这样我就可以用它来制作棋盘的图形表示:)
你只需要以 0 结束你的行，并避免额外的换行符，例如
c you can put comment here.
p cnf 9 12
-1 2 0
-2 1 0
-3 4 0
-4 3 0
1 0
3 0
-5 -4 0
-6 -4 0
-7 -4 0
-8 -4 0
-9 -4 0
-2 -4 0
应该可以正常工作。
我正在尝试为我的学校项目构建 N*N 皇后放置问题求解器。我做了一个程序，就是生成 CNF 语句。我试图将其地址作为 "SAT4J embbeding solver" 7th page, 3.1 的参数，但它一直抛出 ParseFormatException。我还尝试使用我在 Whosebug 上找到的这个文本文件：
c you can put comment here.
c Formatted by Whosebug.
p cnf 9 12
-1 2
-2 1
-3 4
-4 3
1
3
-5 -4
-6 -4
-7 -4
-8 -4
-9 -4
-2 -4
也不走运。我唯一编辑的是异常的 catch 块，所以我可以看到它是哪一个。我试图通过 IntelliJ Idea 社区版中的 Alt+Shift+F10 配置菜单为其提供参数。
有人可以帮助 me/guide 我吗？这是我第一次使用其他人的代码 + 没有任何我认为可用的教程。
也许，你可以建议我其他方式。我只需要 SAT 求解器来解决这个问题并给我输出，这样我就可以用它来制作棋盘的图形表示:)
你只需要以 0 结束你的行，并避免额外的换行符，例如
c you can put comment here.
p cnf 9 12
-1 2 0
-2 1 0
-3 4 0
-4 3 0
1 0
3 0
-5 -4 0
-6 -4 0
-7 -4 0
-8 -4 0
-9 -4 0
-2 -4 0
应该可以正常工作。