Savile Row 使用手册
Savile Row Manual
AI总结：
本文是 Savile Row 约束建模工具的使用手册，介绍其与求解器无关的输入语言 Essence Prime、主要功能、选项及安装使用方法。
摘要：
我们介绍了约束建模工具 Savile Row、其输入语言及主要功能。Savile Row 将一种与求解器无关的约束建模语言翻译为多种求解器的输入语言，包括约束求解器、SAT 求解器和 SMT 求解器。在简要介绍之后，本手册描述了 Essence Prime 语言，它是 Savile Row 的输入语言。随后我们描述了该工具的功能、主要特性与选项，以及如何安装和使用它。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
