Kalashnikov: a fully automatic program synthesiser

Download the source, experiments and raw timing data here.

For help, support or to report bugs, email Matt Lewis.