Queen Puzzles: An Educational Approach to Integer Programming Techniques | Synapse