Countermodel Kitchen

A tiny countermodel finder. It cooks small structures for short sentences and shows the ones that satisfy them.