Я пытаюсь запустить SAT-решатель для нескольких кодировок cnf, сгенерированных моей программой. Я...

Вот моя программа, которая возвращает SAT, когда на графике существует цикл, и UNSAT, когда цикла...