In the Overalgebras GitHub repo
resides the article
Expansions of finite algebras and their congruence lattices, *Algebra
Universalis*, **69**, 2013.
Also included is the GAP software I wrote for constructing new finite algebras by
extending and expanding transitive G-sets, as described in the paper.