|
|
@ -16,17 +16,17 @@ use std::io::Read;
|
|
16
|
16
|
use solve::cnf;
|
|
17
|
17
|
|
|
18
|
18
|
fn main() {
|
|
19
|
|
let input: &mut String = &mut String::new();
|
|
20
|
|
match io::stdin().read_to_string(input) {
|
|
21
|
|
Ok(_) => match cnf::parse_dimac(input) {
|
|
22
|
|
Ok(cnf) => {
|
|
23
|
|
println!("cnf has {} variables and {} clauses", cnf.num_vars, cnf.num_clauses);
|
|
24
|
|
for clause in cnf.clauses {
|
|
25
|
|
println!("{:?}", clause);
|
|
26
|
|
}
|
|
27
|
|
}
|
|
28
|
|
Err(e) => { println!("Error: {}", e) }
|
|
29
|
|
},
|
|
30
|
|
Err(e) => { println!("Error: {}", e) }
|
|
31
|
|
}
|
|
|
19
|
let input: &mut String = &mut String::new();
|
|
|
20
|
match io::stdin().read_to_string(input) {
|
|
|
21
|
Ok(_) => match cnf::parse_dimac(input) {
|
|
|
22
|
Ok(cnf) => {
|
|
|
23
|
println!("cnf has {} variables and {} clauses", cnf.num_vars, cnf.num_clauses);
|
|
|
24
|
for clause in cnf.clauses {
|
|
|
25
|
println!("{:?}", clause);
|
|
|
26
|
}
|
|
|
27
|
}
|
|
|
28
|
Err(e) => { println!("Error: {}", e) }
|
|
|
29
|
},
|
|
|
30
|
Err(e) => { println!("Error: {}", e) }
|
|
|
31
|
}
|
|
32
|
32
|
}
|