Hi GWAK,
i don’t know library for this, i will go for glsl filter…
but, more easily, you can process each pixels, get the color, if it is “green” replace by a color or same pixel from another image,
like here for movie frames
i found too this in the forum: key-out-color-from-video
i hope it help…