One Weird Trick: Relational Interpreters for Program Synthesis Setting up Download Racket: https://download.racket-lang.org/ Related material https://github.com/gregr/icfp2017-artifact-auas7pp https://dl.acm.org/ft_gateway.cfm?id=3110252 http://minikanren.org/ Contact info webyrd@gmail.com dfried00@gmail.com greg.weiqi@gmail.com