About the Alloy 6 (Electrum) category

Electrum is a variant of Alloy that includes a var keyword and temporal logic operators. The plan is to integrate these features in the next release of Alloy, release 6. This category is intended to discuss related issues.