SAT4J埋め込みソルバー例外

Question

私は学校プロジェクトのためにN * N Queen配置問題ソルバーを作成しようとしています。私はCNFステートメントを生成しているプログラムを作っています。私は "SAT4J組み込みソルバ" 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 

いいえ運もありません。私が編集した唯一のものは例外のキャッチブロックなので、どちらがどれかを見ることができます。私はIntelliJ Idea Community EditionのAlt + Shift + F10設定メニューの引数を渡そうとしています。

助けてもらえますか？これは私の初めてのsomeone else code +と一緒に働いています。チュートリアルを利用できるものは何もありません。

多分、あなたは私に他の方法を提案することができます。私はちょうどこの問題を解決するため、私に出力を与えるために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 

は正常に動作するはずです。