Menemukan semua kombinasi polyomino gratis dalam area tertentu dengan SAT-solver (Python)

Saya baru di dunia pemecah SAT dan perlu beberapa panduan tentang masalah berikut. Mengingat bahwa: ❶ Saya memiliki pilihan 14 sel yang berdekatan dalam kisi 4 * 4 ❷ Saya memiliki 5 poliomino (A, B, C, D, E) dengan ukuran 4, 2, 5, 2 dan 1 Poly poliomino ini gratis , artinya bentuknya tidak...