choco-solver 0.1.0

Safe interface for the Choco Solver library DLL generated by GraalVM Native Image.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

# Build


## Repository checkout


```bash
git clone https://github.com/chocoteam/chocors.git
git submodule update --init --recursive # Initialize choco-solver-capi
```

## Build requirements for building the DLL and C header files


- Install/unzip Graalvm 25 jdk
- `GRAALVM_HOME` environment variable pointing to GraalVM JDK folder
- Maven installed

## Build requirements to generate `binding.rs` in `choco-solver-sys package`


- [see `bindgen` requirements](https://rust-lang.github.io/rust-bindgen/requirements.html)

# Build


- Run `cargo xtask build-dll` for building the DLL and generating header files
  - `libchoco_capi.dll` is located in `choco-solver-sys/target`
- Run `cargo xtask generate-bindings` to re-generate the `bindings.rs` in `choco-solver-sys`
- Run `cargo xtask test-all` to execute all tests