Solving Zebra Puzzles with MiniZincUsing integer programming and nlp to solve logic puzzles puzzles minizinc