Savile Row Manual

要約

制約モデリング ツール Savile Row、その入力言語、およびその主な機能について説明します。
Savile Row は、ソルバーに依存しない制約モデリング言語を、制約ソルバー、SAT、SMT ソルバーなどのさまざまなソルバーの入力言語に変換します。
マニュアルでは簡単な紹介の後、Savile Row の入力言語である Essence Prime 言語について説明します。
次に、ツールの機能、主な機能とオプション、インストール方法と使用方法について説明します。

要約(オリジナル)

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.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google