Local Consistency Machine

Edit a finite directed relation, then let a small solver flip edges while it chases your chosen axioms.