snark-tool 0.4.0

snark-tool library contains structures and algorithm for (mainly) cubic graph analysis
Documentation 
1
2
3
4

pub mod cvd;
pub mod cvd_dfs;
pub mod cvd_sat;
pub mod cvd_sat_cadical;