That is our solution for ICFP Contest 2015.
NOTE: we are 151st in the final qualification leaderboard (requires JavaScript; mirror).
Run solver with appropriate parameters:
$ ./solver run -f filename.json [-print true] [-p phrase1] [-p phrase2] ...
We're sorry for loads of sbt's info in the output, hope you can grep it out ;)
Team members in alphabetical order: