We introduce an algorithm for computing a congruence on an inverse semigroup from a collection of generating pairs. An initial implementation of this algorithm outperforms existing implementations by several orders of magnitude. Joint work with Luna Elliott and James Mitchell.