Alloy*: A Higher-Order Relational Constraint Solver
157 by Cieplak | 9 comments on Hacker News.
Thursday, February 28, 2019
New top story on Hacker News: Alloy*: A Higher-Order Relational Constraint Solver
Tags
# Hacker News
Share This
About Unknown
Hacker News
Labels:
Hacker News
Subscribe to:
Post Comments (Atom)
Post Bottom Ad
Responsive Ads Here
No comments:
Post a Comment