Pocket Model Finder

Type a first-order sentence about R and P. It searches small finite structures and shows you a model when it finds one.