无图形用户界面的合金模型

Question

我想用Python编写一个可伸缩的程序，根据用户的输入创建合金模型。特别是，我希望用户输入一个图，并使用Alloy来告诉用户该图是否有欧拉路径。我已经准备好了一个特定图形实例的合金模型。但是，我正在考虑通过Python代码生成.als文件，然后通过Python启动Alloy来评估模型。是否有一个alloyapi可以使用，或者任何命令行参数可以帮助我判断某个谓词是否一致？在

谢谢

Answer 1

Python没有合金API。API用法的official API is in Java；示例可以在here（以及这里的StackOverflow上找到）。还有一个embedding of Alloy in Ruby，它仍然是alpha。在

Answer 2

几天前我的一个同事问了我同样的问题。在

我开发了一个基于Alloy API的小Java程序，该程序将指向给定Alloy模块的路径作为输入，分析输入模块（考虑遇到的第一个命令），并显示（作为输出）分析器是否为给定的模块和命令找到了可满足的实例。在

这里有一个链接到这个非常简单的程序。 https://www.dropbox.com/s/9ekwegj0ltfs8lq/alloy_text-based.jar?dl=0

希望有帮助