Мне нужно создать программу на Python, которая решает некоторые общие проблемы csp (например, n-queens). Я обнаружил очень сложную проблему: проблема с магическим шестиугольником. По следующей ссылке есть инструкция
http://www.csplib.org/Problems/prob023/
Проблема в том, что мне нужно использовать алгоритм AC-3, и я не знаю, как я могу это сделать.
Я не понимаю, как слить программу с AC-3