Small Model Finder

Pick a few sentences about a relation R, then search for a finite model of size n. If one exists, you get a concrete witness.