Program for solving domineering boards. I wrote this as part of my M.Sc. thesis back in 2001.