1 files changed, 13 insertions, 0 deletions

diff --git a/z3/buildSrc/settings.gradle.kts b/z3/buildSrc/settings.gradle.kts
new file mode 100644
index 00000000..095ab24c
--- /dev/null
+++ b/z3/buildSrc/settings.gradle.kts
@@ -0,0 +1,13 @@
+/*
+ * SPDX-FileCopyrightText: 2023 The Refinery Authors <https://refinery.tools/>
+ *
+ * SPDX-License-Identifier: Apache-2.0
+ */
+
+dependencyResolutionManagement {
+        versionCatalogs {
+                create("libs") {
+                        from(files("../gradle/libs.versions.toml"))
+                }
+        }
+}