TL;DR
Savile Row is a constraint modelling tool that translates a solver-independent language into formats for various solvers, facilitating flexible and efficient problem solving.
Contribution
It introduces the Essence Prime language and details how Savile Row translates this into solver-specific formats, enhancing constraint programming workflows.
Findings
Supports multiple solver backends including SAT, SMT, and constraint solvers
Provides a comprehensive manual for installation and usage
Enables solver-independent constraint modelling
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsModel-Driven Software Engineering Techniques · Constraint Satisfaction and Optimization · Business Process Modeling and Analysis