Trouver toutes les combinaisons de polyominos libres dans une zone spécifique avec un solveur SAT (Python)
Je suis nouveau dans le monde des solveurs SAT et j'aurais besoin de conseils concernant le problème suivant. Étant donné que: ❶ J'ai une sélection de 14 cellules adjacentes dans une grille 4 * 4 ❷ J'ai 5 polyominos (A, B, C, D, E) de tailles 4, 2, 5, 2 et 1 ❸ ces polyominos sont libres ,...