From f4636cb6062d08d42a63ca83bc2ccaca2d0ffe5e Mon Sep 17 00:00:00 2001 From: Guillaume Pinot Date: Mon, 13 Sep 2021 17:12:53 +0200 Subject: [PATCH] Remove simple_sat_program example as it is in the lib.rs doc --- examples/simple_sat_program.rs | 24 ------------------------ 1 file changed, 24 deletions(-) delete mode 100644 examples/simple_sat_program.rs diff --git a/examples/simple_sat_program.rs b/examples/simple_sat_program.rs deleted file mode 100644 index 3f077d2..0000000 --- a/examples/simple_sat_program.rs +++ /dev/null @@ -1,24 +0,0 @@ -use cp_sat::builder::CpModelBuilder; -use cp_sat::proto::CpSolverStatus; - -fn main() { - let mut model = CpModelBuilder::default(); - - let x = model.new_int_var_with_name([(0, 2)], "x"); - let y = model.new_int_var_with_name([(0, 2)], "y"); - let z = model.new_int_var_with_name([(0, 2)], "z"); - - model.add_ne(x, y); - - let response = model.solve(); - println!( - "{}", - cp_sat::ffi::cp_solver_response_stats(&response, false) - ); - - if response.status() == CpSolverStatus::Optimal { - println!("x = {}", x.solution_value(&response)); - println!("y = {}", y.solution_value(&response)); - println!("z = {}", z.solution_value(&response)); - } -}