Daikon invariant detector documentation

This directory contains documentation for the Daikon invariant detector, Daikon version 5.8.16, released November 9, 2022. Also see the installation instructions and license.
You may also wish to read the published papers.