Alloy*: A Higher-Order Relational Constraint Solver
157 by Cieplak | 9 comments on Hacker News.
Thursday, February 28, 2019
Home
Squad News
Staff reporter
New top story on Squad News: Alloy*: A Higher-Order Relational Constraint Solver
New top story on Squad News: Alloy*: A Higher-Order Relational Constraint Solver
Tags
# Squad News
# Staff reporter
Share This
About TTR Web Desk
Staff reporter
Labels:
Squad News,
Staff reporter
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment