Small Model Hunter

Pick a first order sentence about a tiny directed graph and a marked set. It searches for the smallest finite model or countermodel, then draws it.