Code

Add Splr solver#2

Code

Draft

Lipen wants to merge 3 commits intomasterLipen/kotlin-satlib:masterfrom feature/splrLipen/kotlin-satlib:feature/splrCopy head branch name to clipboard

Commits

Commits on Nov 26, 2020

• (WIP) Add jni wrapper for splr solver (in Rust)

  Lipen

  committed
  ee4d70a

  Copy full SHA for ee4d70a

• Fix Rust Gradle plugin config

  Lipen

  committed
  de13708

  Copy full SHA for de13708

• Exclude cargo tasks from CI cmd

  Lipen

  committed
  8317422

  Copy full SHA for 8317422