Finite Model Search

A little finite structure with one relation R tries to satisfy a handful of sentences. Toggle constraints and watch a noisy solver hunt for a model, or fail loudly.