synapse
synapse copied to clipboard
Published
20 hours ago •
uwplse
uwplse
Optimizing Synthesis with Metasketches, POPL 2016
Results
1
synapse issues
Sort by
recently updated
recently updated
newest added
I'm currently trying to run `example` in `benchmarks/demos/example.rkt` without the run script. Rosette has this functionality with `(print-forms (... some synthesis task))`, and it seems like `(search #:metasketch (example))` is...
