README.md

Synthesis and Verification Demos in Rosette

These examples do not have any dependencies outside of Rosette. They do not produce any output, as they are meant to be used for exploration, as in a REPL environment.