Manning algorithm

From dankwiki

An algorithm to find hyperbolic structures on 3-manifolds whose fundamental group have a solution to the word problem for groups.