Finite Structures Lab

Edit a tiny structure with one directed relation and one predicate. A fixed list of first-order sentences is checked by brute force as you change the model.