Finite Worlds Lab

A tiny lab for building finite directed graphs under simple axioms. Flip edges by hand or let a solver hunt for a model.