Znajdowanie wszystkich kombinacji wolnych poliominoów w określonym obszarze za pomocą SAT-solvera (Python)
Jestem nowy w świecie solverów SAT i potrzebuję wskazówek dotyczących następującego problemu. Biorąc pod uwagę, że: ❶ Mam wybór 14 sąsiadujących komórek w siatce 4 * 4 ❷ Mam 5 poliominoów (A, B, C, D, E) o rozmiarach 4, 2, 5, 2 i 1 Poly te poliominoes są wolne , tzn. Ich kształt nie jest...