Make a repositry to make a solver for ICFP 2013.