New top story on Hacker News: Alloy*: A Higher-Order Relational Constraint Solver Posted By: Rushan Skywalker 12:07 AM Leave a Reply Alloy*: A Higher-Order Relational Constraint Solver 160 by Cieplak | 9 comments on Hacker News. Tweet Share Share Share Share
0 comments: