文件名称：W8tedAlloy:带有MaxSAT求解器的合金
文件大小：4.23MB
文件格式：ZIP
更新时间：2024-06-06 14:48:02
Java
W8合金 该存储库是一个版本，允许您使用MaxSAT求解器找到最佳模型来编写相互冲突的约束。 变化 最重要的变化是在合金规格中添加了关键字“奇数”。 它可以定义优先级为1到9的约束。 用法： odds 2 allBooksHaveSomePages{...} 为了正常工作，必须选择一个MaxSAT求解器作为您的求解器。 否则，上面的代码将被翻译为： pred allBooksHaveSomePages{...} 下载 jar文件位于文件夹“ dist”中。 您可以简单地运行W8tedAlloy，如下所示： java -jar W8tedAlloy.jar 例子 sig Book{ content: Page } sig Page{} one sig Abstract1 extends Page{} one sig Abstract2 extends Page{} one