综合编程 2017-07-01

Zebra puzzle as a SAT problem

Zebra puzzle (AKA Einstein puzzle) defined as follows: 1.There are five houses. 2.The Englishman lives in the red house. 3.The Spaniard owns the dog. 4.Coffee……