Rosette
From MaRDI portal
Cited in
(18)- Supercharging plant configurations using Z3
- Programmable program synthesis
- CVC4SY
- Synthesis of recursive ADT transformations from reusable templates
- Reveal
- Leon
- HMC
- AsmL
- JViews
- Alloy*
- Z34Bio
- Qlose
- FlashMeta
- Yosys
- Visual DSD
- A delta for hybrid type checking
- Alloy*: a general-purpose higher-order relational constraint solver
- Combining model finder and genetic programming into a general purpose automatic program synthesizer
This page was built for software: Rosette
