/// Helper that adds a variable and returns the corresponding literal.
Helper that adds a variable and returns the corresponding literal.
Helper that adds a variable and returns the corresponding literal .
pub fn new_var(&mut self) -> Lit {
        let n = self.nvars();
        self.new_vars(1);
        Lit::new(n as u32, false).unwrap()
    }
pub fn new_var ( & mut self ) -> Lit { let n = self . nvars ( ) ; self . new_vars ( 1 ) ; Lit :: new ( n as u32 , false ) . unwrap ( ) }
Helper that adds a variable and returns the corresponding literal.
Helper that adds a variable and returns the corresponding literal .
&mut self