print_dimacs/
print_dimacs.rs

1use std::io;
2
3extern crate sat;
4
5fn main() {
6    let mut i = sat::Instance::new();
7    let x = i.fresh_var();
8    let y = i.fresh_var();
9    i.assert_any(&[x, y]);
10    i.assert_any(&[!x, !y]);
11
12    let s = sat::solver::dimacs::Dimacs::new(|| panic!());
13    s.write_instance(&mut io::stdout(), &i);
14}