Я совершенно новичок в решателе sat4j и исследую логические выполнимые задачи; и я застрял. Я хочу сделать программу, которая решает целые переменные, которые находятся в логической формуле, например; x1 ‹ x2 + x3 пользователь вводит эту формулу,...

У меня есть школьный проект, где я должен найти решения игры "Lights Out" ( https://en.wikipedia.org/wiki/Lights_Out_(game) ) с помощью SAT Solver, но у меня возникают проблемы при попытке установить конъюнктивную нормальную форму игры. Игра...