We present a general algorithm for constructing a free resolution for unit
groups of orders in semisimple rational algebras. The approach is based on
computing a contractible G-complex employing the theory of minimal classes of
quadratic forms and Opgenorth's theory of dual cones. The information from the
complex is then used together with Wall's perturbation lemma to obtain the
resolution
