swMATH27566MaRDI QIDQ39282FDOQ39282
Author name not available (Why is that?)
Official website: https://emina.github.io/rosette/
Cited In (17)
- 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
- CVC4SY
- A delta for hybrid type checking
- Leon
- HMC
- AsmL
- JViews
- Alloy*
- Z34Bio
- Qlose
- FlashMeta
- Yosys
- Visual DSD
This page was built for software: Rosette
