We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs
< prev | next >
new | recent | 2201

Change to browse by:

cs.AI

References & Citations

DBLP - CS Bibliography

listing | bibtex

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Artificial Intelligence

Title: Savile Row Manual

Authors: Peter Nightingale
(Submitted on 12 Nov 2021)
Abstract: 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.
Comments: arXiv admin note: substantial text overlap with arXiv:1601.02865
Subjects: Artificial Intelligence (cs.AI)
MSC classes: 68T20
ACM classes: I.2.8
Cite as: arXiv:2201.03472 [cs.AI]
  (or arXiv:2201.03472v1 [cs.AI] for this version)

Submission history

From: Peter Nightingale [view email]
[v1] Fri, 12 Nov 2021 09:47:55 GMT (70kb,D)
Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

Link back to: arXiv, form interface, contact.