possible GPL violation: protein folding scientific project

[RezaRob]

This would _appear_ to be a violation (I'm not sure):

The folding@home project is a massive scientific effort to understand
proteins and disease.  It uses thousands of "spare" CPU's and GPU's at
people's homes to do the job.

The project FAQ states:  "Why don't you post the source code?
Most of the critical parts of FAH are publicly available. The Tinker
and
Gromacs source codes can be downloaded and run. Unlike many computer
projects, the paramount concern is not functionality, but the
scientific
integrity, and posting the source code in a way that would allow
people
to reverse engineer the code to produce bogus scientific results would
make the whole project pointless."
( http://folding.stanford.edu/faq.html#project.source )

Yet, the Gromacs project which it refers to, states:
"GROMACS is Free Software, available under the GNU General Public
License."
( http://www.gromacs.org/gromacs/features/feature-summary.html )

I find it hard to imagine how the folding @ Home project could operate
without being a "derivative" work "based" on Gromacs.

Would you please advice if this is a GPL violation?

(Cross posted to
license <dash> violation at gpl <dash> violations.org
gnu.misc.discuss)

Reza.