Thank you for the question. It is called ajuga reptans. I'm not sure of which variety we used off hand, but there are several different kinds.
Meissner Landscape, Inc