Satisfaction Engine

A small finite structure that tries to satisfy a few axioms. Click to edit relations and watch it repair itself.