fn together(_lits :usize, min :Option<u32>, max :Option<u32>) -> bool {
            if let Some(min) = min {
                if let Some(max) = max {
                    return 3*(max-min) < min || (max <= min+2 && min <= 5)
                } 
            } 
            false
        }
// Heuristic for whether to do min and max together
Heuristic for whether to do min and max together
Heuristic for whether to do min and max together
fn together(_lits :usize, min :Option<u32>, max :Option<u32>) -> bool {
            if let Some(min) = min {
                if let Some(max) = max {
                    return 3*(max-min) < min || (max <= min+2 && min <= 5)
                } 
            } 
            false
        }
fn together ( _lits : usize , min : Option < u32 > , max : Option < u32 > ) -> bool { if let Some ( min ) = min { if let Some ( max ) = max { return 3 * ( max - min ) < min || ( max <= min + 2 && min <= 5 ) } } false }
Heuristic for whether to do min and max together
Heuristic for whether to do min and max together
_lits
usize
min
Option<u32>
max
Option<u32>
_lits
usize
min
Option<u32>
max
Option<u32>