Tiny Model Checker

Edit a small relation on a finite set. Watch simple first order sentences flip from true to false.