SAT4J исключающее решение для встраивания

Question

Я пытаюсь построить N*N Queen, решающий проблему размещения для моего школьного проекта. Я сделал программу, которая генерирует заявления CNF. Я пытался указать его адрес в качестве аргумента для "SAT4J embbeding solver", 7-я страница, 3.1, однако он продолжает выдавать ParseFormatException. Я также попытался использовать этот текстовый файл, который я нашел в stackru:

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 Community.

Может кто-нибудь помочь мне / направить меня? Это мой первый раз, когда я работаю с чьим-то другим кодом +, я бы не назвал учебник доступным.

Может быть, вы могли бы предложить мне другой путь. Мне просто нужен 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

должно работать нормально.