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