New top story on Hacker News: Alloy*: A Higher-Order Relational Constraint Solver on February 28, 2019 Get link Facebook X Pinterest Email Other Apps Alloy*: A Higher-Order Relational Constraint Solver 160 by Cieplak | 9 comments on Hacker News.