«constraint-programming» 태그된 질문

편집 :이 퍼즐은 "아인슈타인의 수수께끼"라고도합니다. 얼룩말을 소유 한 사람 (당신은 할 수 있습니다 여기에 온라인 버전을 사용해이 ) 퍼즐의 고전적인 설정의 예를 들어 내가 스택 오버플로 대부분의 사람들이 종이와 펜을 해결할 수 있습니다 내기. 그러나 프로그래밍 솔루션은 어떻게 생겼습니까? 아래 나열된 단서를 기반으로 ... 다섯 집이 있습니다. 각 집마다 고유 …

128 language-agnostic  logic  constraint-programming  zebra-puzzle 

저는 SAT 솔버의 세계에 익숙하지 않으며 다음 문제에 관한 지침이 필요합니다. 고려해 보면: ❶ 4 * 4 그리드에서 14 개의 인접 셀을 선택했습니다. ❷ 크기가 4, 2, 5, 2 및 1 인 5 개의 폴리 노 미노 (A, B, C, D, E)가 있습니다 poly이 폴리 아미노는 자유 롭습니다 . 즉 …

15 python  combinations  z3  constraint-programming  or-tools