# Savile Row Manual

arXiv: https://arxiv.org/abs/2201.03472 · HTML: https://mlsanity.com/paper/2201.03472/

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- Builds on 1 of its 15 references that are in the map.
- First posted on arXiv 12 Nov 2021.

## Builds on (most cited first, 1 of 1)

- [SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints](https://mlsanity.com/paper/2110.08068/) (2021)

## Built on by (most cited first, 2 of 2)

- [Towards Exploratory Reformulation of Constraint Models](https://mlsanity.com/paper/2311.11868/) (2023)
- [Towards a Model of Puzznic](https://mlsanity.com/paper/2310.01503/) (2023)

## Abstract (arXiv)

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.