Вопросы с тегом «z3»

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