Babelsberg/JS - A Browser-Based Implementation of an Object Constraint Language.
Kodkod: A relational model finder