Alloy*
From MaRDI portal
Software:32553
No author found.
Related Items (6)
Combining SAT solvers with computer algebra systems to verify combinatorial conjectures ⋮ Special issue on syntax-guided synthesis preface ⋮ Alloy*: a general-purpose higher-order relational constraint solver ⋮ Combining model finder and genetic programming into a general purpose automatic program synthesizer ⋮ CompoSAT: specification-guided coverage for model finding ⋮ Evaluation diversity for graph conditions
This page was built for software: Alloy*
