13 lines
409 B
Rust
13 lines
409 B
Rust
use cp_sat::builder::CpModelBuilder;
|
|
use cp_sat::proto::{CpSolverStatus, SatParameters};
|
|
|
|
#[test]
|
|
fn simple_sat_parameters() {
|
|
let mut model = CpModelBuilder::default();
|
|
let x = model.new_bool_var("x");
|
|
let params = SatParameters::default();
|
|
let response = model.solve_with_parameters(¶ms);
|
|
assert_eq!(response.status(), CpSolverStatus::Optimal);
|
|
let _x_value = x.solution_value(&response);
|
|
}
|