Small Model Lab

A tiny first-order model finder for E and P. Type a sentence and it searches for a small structure that satisfies it, or refutes it.