We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
e56a98f
Fixing disjointness issues on the Alloy transformation.
Including useful theme files (.thm) for easier Alloy visualization.
