Some past related threads:

Rosette: Solver-aided programming language - https://hackertimes.com/item?id=18665441 - Dec 2018 (1 comment)

Rosette – A solver-aided programming language that extends Racket - https://hackertimes.com/item?id=14481355 - June 2017 (11 comments)

Rosette: a solver-aided programming language that extends Racket - https://hackertimes.com/item?id=11411570 - April 2016 (8 comments)

Rosette – A solver-aided programming language - https://hackertimes.com/item?id=10245307 - Sept 2015 (2 comments)