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

use choco_solver::*;
fn main() {
    let model = Model::new(Some("CompilationErrorTest"));
    let x = model.int_var_bounded(0, 10, Some("x"), None);
    let y = model.int_var_bounded(0, 10, Some("y"), None);
    fn assert_send_sync<T: Send + Sync>() {}
    assert_send_sync::<Model>();
}