3
Trovare tutte le combinazioni di poliomino liberi all'interno di un'area specifica con un solutore SAT (Python)
Sono nuovo nel mondo dei solutori di SAT e avrei bisogno di una guida per quanto riguarda il seguente problema. Considerando che: ❶ Ho una selezione di 14 celle adiacenti in una griglia 4 * 4 ❷ Ho 5 poliomino (A, B, C, D, E) delle dimensioni 4, 2, 5, …