forge (racket): A model-finding language with Alloy-adjacent syntax.
Keywords: alloy|education|logic|modeling|relational