rosette
-
[rosette](http://emina.github.io/rosette/) is a solver-aided programming language that extends [Racket](http://racket-lang.org) with language constructs for program synthesis, verification, and more.
This repository includes the source code for rosette, as well as several example solver-aided DSLs.