vendor/varisat-checker-0.2.2/src/tmp.rs

//! Temporary data.
use varisat_formula::Lit;

#[derive(Default)]
pub struct TmpData {
    /// Temporary storage for literals.
    pub tmp: Vec<Lit>,
}