  We describe the constraint modelling tool Savile Row, its input language and
its main features. Savile Row translates a solver-independent constraint
modelling language to the input languages for various solvers including
constraint, SAT, and SMT solvers. After a brief introduction, the manual
describes the Essence Prime language, which is the input language of Savile
Row. Then we describe the functions of the tool, its main features and options
and how to install and use it.
