Small Models

Toggle a few axioms and it searches for a tiny structure that fits. When it finds one, you get a live picture of the model.