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