Savile Row Manual
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2021
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911971542040576 |
|---|---|
| author | Nightingale, Peter |
| author_facet | Nightingale, Peter |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2201_03472 |
| institution | arXiv |
| publishDate | 2021 |
| record_format | arxiv |
| spellingShingle | Savile Row Manual Nightingale, Peter Artificial Intelligence 68T20 I.2.8 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. |
| title | Savile Row Manual |
| topic | Artificial Intelligence 68T20 I.2.8 |
| url | https://arxiv.org/abs/2201.03472 |