#[derive(Clone, Copy, Debug, Default, PartialEq, Eq, PartialOrd, Ord, Hash)]
pub struct PdbIterationStats {
pub depth: u8,
pub new: u64,
pub total: u64,
}
#[derive(Clone, Copy, Debug, Default, PartialEq, Eq, PartialOrd, Ord, Hash)]
pub struct SolverIterationStats {
pub depth: u8,
}