A fast backtracking solver for tantrix discovery puzzles