subprojects/store-reasoning-smt/build.gradle.kts


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

/*
 * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
 *
 * SPDX-License-Identifier: EPL-2.0
 */

plugins {
	id("tools.refinery.gradle.java-library")
}

mavenArtifact {
	name = "Store Reasoning SMT"
	description = "SMT reasoner for the model store"
}

dependencies {
	api(project(":refinery-store-reasoning"))
	implementation(libs.refinery.z3)
	testImplementation(project(":refinery-store-query-interpreter"))
}