pub fn chvatal() -> (usize, Vec<(usize, usize)>)
Returns the edges of the Chvátal graph. 12 vertices, 24 edges. The Chvátal graph is the smallest triangle-free graph that is 4-chromatic and 4-regular.