SAT4J包含求解器异常

Question

我正在努力为我的学校项目建立N*N皇后安置问题解决器。我做了一个程序，就是生成CNF的声明。我试着把它的入口作为"SAT4J包含解决器“第7页，3.1的论据，但是它一直在抛出ParseFormatException。我还尝试使用在堆栈溢出中找到的这个文本文件：

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块，所以我可以看到它是哪一个。我试图通过Alt+Shift+F10配置菜单在IntelliJ Idea社区版中给出它的参数。

有人能帮我/引导我吗？这是我第一次使用别人的代码+没有什么我称之为教程可用。

也许你可以建议我换个方法。我只需要SAT求解器来解决这个问题并给我输出，这样我就可以得到它，并对棋盘进行图形化表示:)

类代码到现在为止。

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

应该能正常工作。