Поиск всех комбинаций свободных полиомино в определенной области с помощью SAT-решателя (Python)
Я новичок в мире решателей SAT, и мне нужно некоторое руководство по следующей проблеме. Учитывая, что: ❶ У меня есть выбор из 14 соседних ячеек в сетке 4 * 4 ❷ У меня 5 полиомино (A, B, C, D, E) размеров 4, 2, 5, 2 и 1 Poly эти полиомино являются свободными , то есть их форма не является...