Anima is an online tool, no installation is required.
Anima is an online animator for Alloy instances. The aim is to produce more expressive representations of alloy instances, given the corresponding XML instance (produced by the Alloy visualizer), and a JSON file specifying the layout. The representations are based in the concept of composition of layout managers. For further information, please check the Help section.
The version 1.2 of Anima was just launched! Now with support for recursive structures and several anchors per Sig (see chord for an example), refined interface, specifications for individual Sigs and some bug fixes.