小编Jam*_*rie的帖子

是否有z3支持的所有理论/逻辑的完整列表？我已经查阅了这个SMTLIB教程,它提供了许多逻辑,但我不相信这个列表是详尽无遗的.z3文档本身似乎没有指定支持哪些逻辑.

我问,因为我有一个smt文件无法在SMTLIB教程中的任何逻辑中解决(当用'set-logic'指定时),但是当没有指定逻辑时可以解决.

我正在尝试使用该java-platform插件在多模块项目中共享依赖项约束。我想做的是设置一个名为的模块platform，我可以platform(project(":platform"))在其他模块中使用它导入。此外，我想使用platform("group-id:of-the-bom:and-version").

一个例子是以下结构：

// settings.gradle
include("platform")
include("consumer")

// platform/build.gradle
apply plugin: 'java-platform'

repositories {
    mavenCentral()
}

dependencies {
    constraints {
        api platform("org.wildfly.bom:wildfly-javaee8:15.0.1.Final")
    }
}

// consumer/build.gradle
apply plugin: 'java-library'

repositories {
    mavenCentral()
}

dependencies {
    implementation platform(project(":platform"))
    implementation "org.jboss.spec.javax.ejb:jboss-ejb-api_3.2_spec"
}

当我运行时，gradle consumer:dependencies我得到包含以下内容的输出：

compileClasspath - Compile classpath for source set 'main'.
+--- project :platform
\--- org.jboss.spec.javax.ejb:jboss-ejb-api_3.2_spec FAILED

似乎该platform模块没有“重新导出”通过使用platform().

我发现了两个“解决方法”，它们并没有真正解决我的问题，但似乎表明问题是platform()与java-platform插件一起使用：

1. 替换implementation platform(project(":platform"))为implementation …