> Rosette is a solver-aided programming language that extends Racket with language constructs for program synthesis, verification, and more. To verify or synthesize code, Rosette compiles it to logical constraints solved with off-the-shelf SMT solvers.
One of these days I'll have to learn Racket because it seems like such an interesting language.
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)