论文标题
Savile行手册
Savile Row Manual
论文作者
论文摘要
我们描述了约束建模工具Savile行，其输入语言及其主要功能。 Savile行将独立于求解器的约束建模语言转换为各种求解器的输入语言，包括约束，SAT和SMT求解器。经过简要介绍后，该手册描述了本质素数语言，即Savile行的输入语言。然后，我们描述工具的功能，其主要功能和选项以及如何安装和使用。
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.
