Add Splr solver

.github/workflows/build-windows.yml

@@ -64,7 +64,7 @@ jobs:
           g++ -Wall -O3 -fPIC -shared -s -I${JAVA_HOME}/include -I${JAVA_HOME}/include/win32 -Ibuild/headers -Iglucose-src -I. -Lglucose-src/build src/main/cpp/JGlucose.cpp -lglucose -o build/lib/jglucose.dll
 
       - name: Build package using Gradle wrapper
-        run: ./gradlew build -x test --stacktrace
+        run: ./gradlew build -x test --stacktrace -x :jni:cargoBuild -x :jni:cargoTest -x :jni:cargoClean
 
       - name: Upload to GH Releases
         uses: softprops/action-gh-release@v1

.github/workflows/build.yml

@@ -55,7 +55,7 @@ jobs:
         run: echo "$(realpath bin/)" >> $GITHUB_PATH
 
       - name: Build package using Gradle wrapper
-        run: ./gradlew build --stacktrace --scan
+        run: ./gradlew build --stacktrace --scan -x :jni:cargoBuild -x :jni:cargoTest -x :jni:cargoClean
 
       - name: Upload to GH Releases
         uses: softprops/action-gh-release@v1

.gitignore

@@ -5,6 +5,7 @@
 # Build folders
 out/
 build/
+target/
 
 # Images
 *.png

build.gradle.kts

@@ -12,6 +12,7 @@ plugins {
     with(Plugins.GradleVersions) { id(id) version (version) }
     with(Plugins.Shadow) { id(id) version (version) }
     with(Plugins.Jmh) { id(id) version (version) apply false }
+    with(Plugins.Rust) { id(id) version (version) apply false }
     `maven-publish`
 }
 

buildSrc/src/main/kotlin/Dependencies.kt

@@ -16,6 +16,7 @@ object Versions {
     const val multiarray = "0.6.1"
     const val okio = "2.9.0"
     const val shadow = "5.2.0"
+    const val rust_gradle_plugin = "0.1.0"
 }
 
 object Libs {
@@ -100,4 +101,10 @@ object Plugins {
         const val version = Versions.jmh_gradle_plugin
         const val id = "me.champeau.gradle.jmh"
     }
+
+    // https://github.com/liurenjie1024/rust-gradle-plugin
+    object Rust {
+        const val version = Versions.rust_gradle_plugin
+        const val id = "io.github.liurenjie1024.gradle.rust"
+    }
 }

kotlin-satlib-jni/Cargo.toml

@@ -0,0 +1,18 @@
+[package]
+name = "kotlin-satlib-jni-splr"
+version = "0.1.0"
+authors = ["Konstantin Chukharev <[email protected]>"]
+
+[lib]
+name = "jsplr"
+path = "src/main/rust/JSplr.rs"
+crate-type = ["cdylib"]
+
+[dependencies]
+jni = "0.18"
+
+[dependencies.splr]
+#version = "0.5.0"
+path = "D:/dev/Rust/splr"
+default-features = false
+features = ["incremental_solver"]

kotlin-satlib-jni/build.gradle.kts

@@ -1,5 +1,8 @@
+import io.github.liurenjie1024.gradle.rust.CargoBuildTask
+
 plugins {
     id(Plugins.Jmh.id)
+    id(Plugins.Rust.id)
 }
 
 dependencies {
@@ -12,3 +15,22 @@ jmh {
     resultsFile = project.file("${project.buildDir}/reports/jmh/results.json")
     resultFormat = "JSON"
 }
+
+tasks.withType(CargoBuildTask::class.java).configureEach {
+    // verbose = true
+    release = true
+}
+
+tasks.register("copyRustLibDllToResources") {
+    doLast {
+        val libName = "jsplr.dll"
+        val src = projectDir.resolve("target/release").resolve(libName)
+        val dest = projectDir.resolve("src/main/resources/lib/win64").resolve(libName)
+        if (dest.exists()) {
+            dest.delete()
+        }
+        println("Copying $src to $dest...")
+        src.copyTo(dest, overwrite = true)
+        println("Done copying rust lib dll.")
+    }
+}