Savile Row Manual
Savile Row Manual
复制标题
萨维尔街手册
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
P. Nightingale
中科院分区：
文献类型：
--
作者：
P. Nightingale
介绍了约束建模工具Savile Row及其输入语言和主要功能。Savile Row将独立于求解器的约束建模语言转换为各种求解器的输入语言，包括约束求解器、SAT求解器和SMT求解器。在简要介绍之后，该手册描述了Essence Prime Language，这是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.