OpenSMT: Add missing package-info file

Author: daniel-raffler

src/org/sosy_lab/java_smt/solvers/opensmt/interpolationAlgorithms/package-info.java

@@ -0,0 +1,12 @@
+/*
+ * This file is part of JavaSMT,
+ * an API wrapper for a collection of SMT solvers:
+ * https://github.com/sosy-lab/java-smt
+ *
+ * SPDX-FileCopyrightText: 2025 Dirk Beyer <https://www.sosy-lab.org>
+ *
+ * SPDX-License-Identifier: Apache-2.0
+ */
+
+/** Supported interpolation algorithms. */
+package org.sosy_lab.java_smt.solvers.opensmt.interpolationAlgorithms;