Function twosat::twosat

pub fn twosat(
    len: usize,
    cnf: impl IntoIterator<Item = [(usize, bool); 2]>,
) -> Option<Vec<bool>>