choco-solver-sys 0.1.0

FFI 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
26
27
28
29
30
31
32
33
34
35
36

# choco-solver-sys


Low-level Rust FFI bindings for the Choco Solver native C API (`libchoco_capi`).

This crate is the unsafe boundary used by the higher-level `choco4` API. Most users
should prefer the top-level crate instead of using this crate directly.

## What This Crate Contains


- `src/bindings.rs`: auto-generated `bindgen` output for `libchoco_capi.h`
- Dynamic symbol loader was generated by `bindgen` (`libchoco_capi` struct)
- Re-exported raw C types/functions from `src/lib.rs`

## How to build libchoco_capi.dll


Checkout `BUILDING.md` file in the repository of this package or check [choco-solver-capi repository](https://github.com/chocoteam/choco-solver-capi)

## Minimal Usage Example


```rust
use choco_solver_sys::libchoco_capi;

fn main() -> Result<(), Box<dyn std::error::Error>> {
		// Adjust to the actual path if the DLL is not located
		// in the standard search paths of your OS.
		let lib = unsafe { libchoco_capi::new("libchoco_capi.dll")? };

		// Access loaded function pointers from `lib` here.
		let _ = lib.graal_create_isolate.as_ref()?;
		Ok(())
}
```

## License


Dual licensed under `MIT` and `BSD-3-Clause` (see `LICENSE.txt`).