Quick Start with Alloy Discovery

This chapter describes how to work with your Alloy Discoveryfor the first time easily.