Dark-Alex-17/cp_sat
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Remove simple_sat_program example as it is in the lib.rs doc

Browse Source
This commit is contained in:
Guillaume Pinot
2021-09-13 17:12:53 +02:00
committed by Guillaume P
parent 3a6a4cec70
commit f4636cb606
1 changed files with 0 additions and 24 deletions
Download Patch File Download Diff File Expand all files Collapse all files
examples/simple_sat_program.rs
-24
View File
@@ -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));
}
}