Q

沒有GUI的合金模型

2014-05-03 49 views 3 likes

3

我想用Python編寫一個可擴展的程序，根據用戶輸入創建Alloy模型。特別是，我希望用戶輸入圖形並使用Alloy來告訴用戶圖形是否具有歐拉路徑。我在Alloy中爲模型的特定實例準備好模型。但是，我正在考慮通過Python代碼生成.als文件，然後通過Python啓動Alloy來評估模型。是否有我可以使用的Alloy API或任何命令行參數可以幫助我確定某個謂詞是否一致？沒有GUI的合金模型

感謝

2014-05-03 harshal.c

A

回答

0

沒有爲Python中沒有合金API。 official API is in Java; API使用的例子可以找到here（以及StackOverflow的這裏）。還有一個embedding of Alloy in Ruby，它仍然是alpha。

2014-05-04 14:00:35

2

幾天前我的一位同事問我同樣的問題。

我開發了一個基於Alloy API的小型Java程序，它將一個給定Alloy模塊的路徑作爲輸入，分析輸入模塊（考慮到遇到的第一個命令），並顯示（作爲輸出）爲給定的模塊和命令找到了可以滿足的實例。

這是一個鏈接到這個非常簡單的程序。 https://www.dropbox.com/s/9ekwegj0ltfs8lq/alloy_text-based.jar?dl=0

希望它有幫助

2014-09-11 16:01:35

相關問題