I been looking for the source for tetravex for Linux but it looks like the only available one is part of Gnome-Games for Linux. Not sure if just tetravex could be ported from this only or if it the whole Gnome-Games has to be ported?

Just in case someone is interested I included the Gnome-Games link below.

http://live.gnome.org/GnomeGames/Contributing