SAT4J Embedding Solver Ausnahme

Question

Ich versuche, N * N Queen Platzierung Problemlöser für mein Schulprojekt zu bauen. Ich habe ein Programm erstellt, das CNF-Statements generiert. Ich habe versucht, dem "SAT4J embeding solver" 7th page, 3.1 seine Adresse als Argument zu geben, aber es wirft weiterhin ParseFormatException. Ich habe auch versucht, diese Textdatei zu verwenden, die ich auf stackoverflow gefunden habe:

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 

Kein Glück auch nicht. Das einzige, was ich editiert habe, ist der Catch-Block der Ausnahme, also kann ich sehen, welcher es ist. Ich versuche, es Argumente durch Alt + Umschalt + F10 Konfigurationsmenü in IntelliJ Idea Community Edition zu geben.

Kann mir bitte jemand helfen? Das ist das erste Mal, dass ich mit jemand anderem Code arbeite und es gibt nichts, was ich Tutorium nennen würde.

Vielleicht könnten Sie mir einen anderen Weg vorschlagen. Ich brauche nur den SAT-Solver, dieses Problem zu lösen, und geben Sie mir Ausgang, also kann ich es nehmen und grafische Darstellung des Schachbretts :)

Class code as of now.

Answer 1

Sie müssen machen nur mit einem 0 Ihre Zeilen beenden und Vermeiden Sie zusätzliche Zeilenumbrüche, z

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 

sollte gut funktionieren.