snark-tool 0.4.0

use crate::graph::graph::Graph;
use crate::service::colour::colouriser::Colouriser;
use crate::service::colour::cvd::cvd;
use crate::service::colour::sat::sat::SATColourizer;

// Colorizer for (sub)cubic graphs only
#[derive(Debug, Clone)]
pub struct CvdSatColourizer {}

impl Colouriser for CvdSatColourizer {
    fn is_colorable<G>(graph: &G) -> bool
    where
        G: Graph,
    {
        let result_cvd = cvd::is_colorable(graph);
        if result_cvd.is_none() {
            let result = SATColourizer::is_colorable(graph);
            return result;
        }
        result_cvd.unwrap()
    }

    fn new() -> Self {
        CvdSatColourizer {}
    }
}