First working version, supporting dice/disc API

.cargo/config

@@ -0,0 +1,13 @@
+[build]
+rustflags = ["-C", "link-args=-Wl,-undefined,dynamic_lookup"]
+
+[source.crates-io]
+replace-with = "vendored-sources"
+
+[source."git+https://github.com/neuppl/rsdd?rev=be8f005"]
+git = "https://github.com/neuppl/rsdd"
+rev = "be8f005"
+replace-with = "vendored-sources"
+
+[source.vendored-sources]
+directory = "vendor"

.github/workflows/ocaml-ci.yml

@@ -0,0 +1,30 @@
+name: OCaml CI
+
+on:
+  push:
+    branches: [ main ]
+  pull_request:
+    branches: [ main ]
+
+jobs:
+  build:
+    strategy:
+      fail-fast: false
+      matrix:
+        os: [macos-latest, ubuntu-latest]
+        ocaml-compiler: ["4.14"]
+    runs-on: ${{ matrix.os }}
+    steps:
+      - name: Checkout tree
+        uses: actions/checkout@v3
+
+      - name: Set-up OCaml ${{ matrix.ocaml-compiler }}
+        uses: ocaml/setup-ocaml@v2
+        with:
+          ocaml-compiler: ${{ matrix.ocaml-compiler }}
+
+      - run: opam install . --deps-only --with-test
+
+      - run: opam exec -- dune build
+
+      - run: opam exec -- dune runtest

.github/workflows/rust-ci.yml

@@ -0,0 +1,48 @@
+name: Rust CI
+
+on:
+  push:
+    branches: [ main ]
+  pull_request:
+    branches: [ main ]
+
+env:
+  CARGO_TERM_COLOR: always
+
+jobs:
+  lint:
+    strategy:
+      matrix:
+        ocaml-compiler: ["4.14"]
+    runs-on: ubuntu-latest
+
+    steps:
+    - name: Set-up OCaml ${{ matrix.ocaml-compiler }}
+      uses: ocaml/setup-ocaml@v2
+      with:
+        ocaml-compiler: ${{ matrix.ocaml-compiler }}
+    - uses: actions/checkout@v3
+    - run: cargo fmt --all -- --check
+    - run: cargo clippy --all
+
+  build:
+    name: build
+    strategy:
+      fail-fast: false
+      matrix:
+        os:
+          - ubuntu-latest
+          - macos-latest
+          - windows-latest
+        ocaml-compiler: ["4.14"]
+
+    runs-on: ${{ matrix.os }}
+
+    steps:
+    - name: Set-up OCaml ${{ matrix.ocaml-compiler }}
+      uses: ocaml/setup-ocaml@v2
+      with:
+        ocaml-compiler: ${{ matrix.ocaml-compiler }}
+    - uses: actions/checkout@v3
+    - name: Build
+      run: cargo build --verbose

.gitignore

@@ -0,0 +1,5 @@
+_build
+_opam
+.merlin
+.DS_Store
+target