ddnnife_cnf 0.1.0

DIMACS CNF implementation
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

use std::fmt::{Display, Formatter};

#[derive(Debug, Copy, Clone, Eq, PartialEq, Hash)]
pub struct Header {
    pub num_variables: usize,
    pub num_clauses: usize,
}

impl Display for Header {
    fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
        write!(f, "p cnf {} {}", self.num_variables, self.num_clauses)
    }
}