Before revision: This note introduces the exact solver Bute for the exact treedepth problem, along with two variants of the solver . Each of these solvers computes an elimination tree  in a bottom-up fashion by finding sets of vertices that induce subgraphs of small treedepth, then combining sets of vertices together with a root vertex to produce larger sets.
After revision: This note introduces the exact solver Bute for the exact treedepth problem, along with two variants of the solver . Each of these solvers computes an elimination tree of minimum depth in a bottom-up fashion by finding sets of vertices that induce subgraphs of small treedepth, then combining sets of vertices together with a root vertex to produce larger sets.