ユーザー入力に応じて Alloy モデルを作成するスケーラブルなプログラムを Python で作成したいと考えています。特に、ユーザーにグラフを入力してもらい、Alloy を使用して、グラフにオイラー パスがあるかどうかをユーザーに伝えてもらいたいと考えています。グラフの特定のインスタンス用に Alloy でモデルを準備しました。ただし、Python コードで .als ファイルを生成し、Python で Alloy を起動してモデルを評価することを考えています。使用できる Alloy API や、特定の述語が一貫しているかどうかを判断するのに役立つコマンド ライン引数はありますか?
ありがとう
私の同僚が数日前に同じ質問をしました。
与えられた Alloy モジュールへのパスを入力として受け取り、入力モジュールを分析し (最初に遭遇したコマンドを考慮して)、アナライザーが満足できるインスタンスを見つけた場合は (出力として) 表示する、Alloy API に基づく小さな Java プログラムを開発しました。指定されたモジュールとコマンドに対して。
これは、この非常に単純なプログラムへのリンクです。 https://www.dropbox.com/s/9ekwegj0ltfs8lq/alloy_text-based.jar?dl=0
それが役に立てば幸い
Python 用の Alloy API はありません。公式のAPI は Javaです。API の使用例は、こちら(および StackOverflow のこちら) にあります。Ruby にもAlloy が組み込まれていますが、これはまだアルファ版です。