logic-puzzles

I like to solve logic puzzles, but I don't like it when the solution is by heuristics. I'll write a code here to prove that the solution is unique if I see such solutions.