Coding Solutions to small Logic Puzzles