3 ms·

I recently started using Alloy for small models. Great for searching for constraints and state machines.