Rosette
From MaRDI portal
Software:39282
swMATH27566MaRDI QIDQ39282FDOQ39282
Author name not available (Why is that?)
Cited In (6)
- Supercharging plant configurations using Z3
- Programmable program synthesis
- Alloy*: a general-purpose higher-order relational constraint solver
- Combining model finder and genetic programming into a general purpose automatic program synthesizer
- Synthesis of Recursive ADT Transformations from Reusable Templates
- A Delta for Hybrid Type Checking
This page was built for software: Rosette
