godtsol - Computing the optimal search strategy for finding...