The following pages link to Alloy* (Q32553):
Displaying 6 items.
- Alloy*: a general-purpose higher-order relational constraint solver (Q2009609) (← links)
- Combining model finder and genetic programming into a general purpose automatic program synthesizer (Q2011033) (← links)
- CompoSAT: specification-guided coverage for model finding (Q2024373) (← links)
- Evaluation diversity for graph conditions (Q2117262) (← links)
- Special issue on syntax-guided synthesis preface (Q2149966) (← links)
- Combining SAT solvers with computer algebra systems to verify combinatorial conjectures (Q2360872) (← links)