Small Model Finder

Pick a handful of simple axioms about P, R, and f. Then search for a small finite structure that satisfies them.