Savile Row 手册
人工智能
2024-07-31 v2
摘要
我们描述了约束建模工具 Savile Row、其输入语言及其主要特性。Savile Row 将独立于求解器的约束建模语言翻译为包括约束、SAT 和 SMT 求解器在内的各种求解器的输入语言。在简要介绍之后，手册描述了 Essence Prime 语言，即 Savile Row 的输入语言。然后我们描述了该工具的功能、其主要特性和选项，以及如何安装和使用它。
引用
@article{arxiv.2201.03472,
title = {Savile Row Manual},
author = {Peter Nightingale},
journal= {arXiv preprint arXiv:2201.03472},
year = {2024}
}
备注
arXiv admin note: substantial text overlap with arXiv:1601.02865