Ubuntu package for alloy analyzer?

view full story

http://askubuntu.com – So I'm experimenting with Ubuntu 12.04 after using ArchLinux for the last 2 years or so. I'm looking for an Ubuntu package for Alloy Analyzer and can't seem to find one. I've a hard time believing that the Arch package repositories are more complete than the Ubuntu repositories are so I assume I'm just being a dummy. I can't find it through the software center or apt-cache search though. Any suggestions? I believe the Arch package may be in the AUR, does Ubuntu have an equivalent? Thanks (HowTos)