1 packages found
New
A model-finding language with Alloy-adjacent syntax.
This package needs documentation