This package implements the tracing part of the Collberg-Thomborson software watermarking algorithm.