Rosette: a solver-aided programming language that extends Racket (emina.github.io)