Axiom Loom

Place a few axioms and watch a small model try to fit them. It is a quiet physics toy with optional sound.