Axiom Tuner

Pick constraints for a binary relation on a finite set, then watch a tiny solver try to build a model. You can edit the relation by hand and flip between a matrix view and a graph view.