Availability

The Flask software and documentation are available at <http://www.cs.utah.edu/flux/flask/>.