Tiny Model Lab

Edit a small finite structure and test formulas against it. When a formula holds or fails, you get a concrete witness or counterexample.