ocelot (racket): A solver-aided relational logic DSL
Keywords: alloy|relational|rosette