SAT4J嵌入求解器异常

Question

我正在为我的学校项目建立N * N女王安置问题解决者。我制作了一个程序，即生成CNF语句。我试图给它的地址作为参与#S; SAT4J嵌入式求解器＆＃34; 7th page, 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

也没有运气。我编辑的唯一的东西是异常的catch块，所以我可以看到它是哪一个。我试图通过IntelliJ Idea社区版中的Alt + Shift + F10配置菜单给出参数。

有人可以帮助我/指导我吗？这是我第一次使用其他代码+没有什么我会称之为教程。

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

Class code as of now.

Answer 1

你只需要用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

应该可以正常工作。