Computational Complexity and Integer Programming Formulation of the Oredango Puzzle. - Takuma Takahata; Norito Minamikawa; Takayuki Okuno (CoRR, 2025)