XOI, a small satisfier

A tiny constraint world that tries to satisfy itself. Pin variables, add clauses, and watch it search.