Mostly it's a lack of education and UI work. The Alloy IDE, for example, doesn't have line numbers. There's also no CLI for Alloy. That said, it's an excellent

Mostly it's a lack of education and UI work. The Alloy IDE, for example, doesn't have line numbers. There's also no CLI for Alloy. That said, it's an excellent tool and I've found it very useful when doing formal models.