Zebra Puzzle - IBM Bob and OPL CPLEX

This document contains Alex Fleischer’s IBM Bob and OPL/CPLEX CP Optimizer solution for the September 2026 Zebra Puzzle challenge.

IBM Bob generates an OPL CP Optimizer model from the puzzle constraints. The resulting model identifies the zebra as living in house 5, owned by the Japanese resident.