Here you will find an example .easik file illustrating designs using the Easik application and a technical example illustrating interacting constraints and shadow edges.