A computational approach to the Happy End problem