GitHub - emina/rosette: The Rosette solver-aided host language, sample solver-aided DSLs, and demos https://github.com/emina/rosette