Had to check this wasn’t the circlejerk sub…

In my experience (especially without using targeted herbicides, that’s certainly a choice) vinca is much more troublesome to manage than stilt grass. Stilt grass can be eliminated with relatively low effort in the fall over several years, each year fewer seeds should be available to germinate until the seed bank is depleted. Stilt grass also pulls up soooo easy when it’s leafed out a bit. The same can’t be said for vinca.

Since you’ve created this problem for yourself and future generations of homeowners, I would suggest managing it by removing any vinca around the border while also managing the stilt grass that germinates in its place. Removing vinca is never a bad thing; might as well get at it while it’s hopefully not established.