学校のプロジェクトで N*N Queen 配置問題ソルバーを構築しようとしています。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
運もありません。私が編集したのは例外の catch ブロックだけなので、それがどれであるかがわかります。IntelliJ Idea Community エディションの Alt+Shift+F10 設定メニューから引数を与えようとしています。
誰かが私を助けてくれますか/私を案内してくれますか? 他の誰かのコードを使用するのはこれが初めてです + チュートリアルと呼ばれるものはありません。
多分、あなたは私に別の方法を提案することができます. この問題を解決して出力を得るには、SATソルバーが必要なだけなので、それを取得してチェス盤のグラフィカル表現を作成できます:)