Satisfaction Lab

Build a small graph world and test simple logic formulas. The nodes that satisfy your formula light up.