Axiom Mixer

Toggle axioms about a binary relation R and watch a finite directed graph mutate to reduce violations. Some sets are inconsistent, so the mixer searches for the closest fit.