Daikon invariant detector distribution

This is the distribution of the Daikon invariant detector, Daikon version 4.6.4, released June 23, 2010.

You should start out by reading the documentation which includes installation instructions.