Tiny Models

Pick properties of a relation and it will try to build a tiny world that satisfies them. Edit the matrix and watch which properties break.