SAT4J embibeding求解器例外

Question

我正在嘗試爲我的學校項目建立N * N Queen求解器。我制定了一個計劃，即生成CNF聲明。我試圖給它的地址作爲「SAT4J embbeding求解器」7th page, 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塊，所以我可以看到它是哪一個。我試圖通過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 

應該可以正常工作。