Bound variable challenge This is my solution for the ICFCP 2006 challenge. I have written my implementation in C++ which I found very well suited for the task. To compile and run just run make followed by ./um