Alloy*
From MaRDI portal
Software:32553
swMATH20736MaRDI QIDQ32553FDOQ32553
Author name not available (Why is that?)
Cited In (6)
- CompoSAT: specification-guided coverage for model finding
- Combining SAT solvers with computer algebra systems to verify combinatorial conjectures
- Evaluation diversity for graph conditions
- Alloy*: a general-purpose higher-order relational constraint solver
- Combining model finder and genetic programming into a general purpose automatic program synthesizer
- Special issue on syntax-guided synthesis preface
This page was built for software: Alloy*
