Это cолвер игры Numberlink на Python с использованием Google OR-Tools (CP-SAT)
Цель: для каждой пары одинаковых чисел на поле проложить непересекающиеся ортогональные пути, которые соединяют пары и заполняют всё поле
Ввод
Текстовый формат:
ширина высота
строка 1
строка 2
...
строка H
Каждое число (кроме нулей) встречается ровно дважды — это концы одной цепочки
0 означает пустую клетку
Движение по клеткам — по сторонам (вверх/вниз/влево/вправо)
Пример:
4 4
1 2 3 4
0 0 0 0
0 0 0 0
1 2 3 4
Вывод
Если решение найдено — выводится таблица целых чисел (каждая строка — ряд решётки)
Если решения нет — строка: I can't solve it
Структура
fast_solve.py — общее медленное решение
solve_in_average.py — улучшенное решение (эвристики/ограничения)
main.py — чтение ввода, запуск солвера, печать результата