Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
With this you can do:
echo 'sig Thing {} run { one Thing }' | alloy exec /dev/stdin
or
alloy exec <( echo 'sig Thing {} run { one Thing }' )
which allows easier integration into external tools.