Finite Worlds

A tiny logic playground. Edit a finite structure and check whether a first order sentence is true in it.