Satisfaction Workshop

Draw a tiny directed structure and check a handful of axioms. Ask the built-in search to find a model that satisfies your current theory.