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.<p>"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.