mlsanityData to 13 Oct 2026

Savile Row Manual

arXiv 2201.03472 ↗First posted 12 Nov 2021cs.AIcited by 2

Not on the map. Why?

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.

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

Builds on

1 of 15 references.

References · 1

  1. 2021SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraintscited by 3

Built on by

Cited by year

Citing papers per year: 2023: 2.

2 papers.

  1. 2023Towards Exploratory Reformulation of Constraint Modelscited by 1
  2. 2023Towards a Model of Puzzniccited by 0