Lobsters
Linking pages
- Symbolic Execution by Overloading __bool__ | Hey There Buddo! https://www.philipzucker.com/overload_bool/ 10 comments
- Scaling symbolic evaluation for automated verification of systems code with Serval | the morning paper https://blog.acolyer.org/2019/11/13/scaling-symbolic-evaluation-serval/ 0 comments
- GitHub - emina/rosette: The Rosette solver-aided host language, sample solver-aided DSLs, and demos https://github.com/emina/rosette 0 comments
Related searches:
Search whole site: site:docs.racket-lang.org
Search title: The Rosette Guide
See how to search.