Я ищу полный решатель CSP, то есть он всегда найдет решение, если оно существует, и сообщит вам, если решения не существует.Решатель, оптимизированный для раскраски графов, предпочтителен, но не обязателен.Есть много итерационных алгоритмов / решателей, но мне нужна полнота (?) Для моей работы.
Я реализовал свой собственный решатель, используя алгоритм поиска слабых обязательств, но я уверен, что есть много оптимизаций и функций, основанных на потоках, которые могли бы сделать решение намного быстрее и позволить мне увеличить количество переменных.Я могу использовать в моей симуляции.Я понимаю, что это экспоненциально сложная проблема, но каждая мелочь поможет!