Axiom Tuner

A finite-structure playground. Toggle axioms and watch a search try to build a small model for them.