Small Model Finder

Toggle axioms for a relation and watch it hunt for a small model. When it fails, it points at a concrete witness.