7.2.1 Download

You can download the source code of the compiler here. It is included in the C to PDDL package:
ctopddl.zip
It is released under the GNU Licence 3.0.