Comment by haakonhr

I didn't do it last year, but the years before I used Racket and Common Lisp. I might try Common Lisp again since I really want to rediscover the experience of programming w/ Sly (a fork of SLIME).

I'm also considering trying to solve everything with Z3.