java - SAT4J 嵌入求解器异常

Question

我正在尝试为我的学校项目构建 N*N 皇后安置问题解决器。我制作了一个程序，即生成 CNF 语句。我试图将其地址作为“SAT4J 嵌入求解器”第 7 页 3.1的参数，但是它一直抛出 ParseFormatException。我还尝试使用我在 stackoverflow 上找到的这个文本文件：

c you can put comment here.

c Formatted by StackOverFlow.

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

也没有运气。我唯一编辑的是异常的捕获块，所以我可以看到它是哪一个。我正在尝试通过 IntelliJ Idea Community 版中的 Alt+Shift+F10 配置菜单为其提供参数。

有人可以帮我/指导我吗？这是我第一次使用其他人的代码 + 没有任何可用的教程。

也许，你可以建议我其他方式。我只需要 SAT 求解器来解决这个问题并给我输出，所以我可以用它来制作棋盘的图形表示:)

score 0 · Accepted Answer

您只需要以 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

应该可以正常工作。

1 回答 1