Countdown June 19, 2007 February 13, 2010 / Optimisation Problems, Program Derivation, Program Inversion Programs and profiling results accompanying the paper Countdown: a case study in origami programming. [GZipped Tarball]