Witness Finder

Generate a finite directed relation from a seed and test a first-order sentence. Hover and pin nodes to see witnesses, counterexamples, and local counts.