Alloy*: A Higher-Order Relational Constraint Solver
Sometimes it would be great for such posts to somehow explain to the uninitiated why you want to be initiated."Relational Constraint Solver" sounds sort of interesting, but I haven't the faintest clue what I could use it for, and that's not that common for me.