sat 0.1.0

Interface for defining and solving SAT problems
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

use std::io;

extern crate sat;

fn main() {
    let mut i = sat::Instance::new();
    let x = i.fresh_var();
    let y = i.fresh_var();
    i.assert_any(&[x, y]);
    i.assert_any(&[!x, !y]);

    let s = sat::solver::dimacs::Dimacs::new(|| panic!());
    s.write_instance(&mut io::stdout(), &i);
}