Constant CUDD_VERSION 

pub const CUDD_VERSION: &[u8; 6] = b"2.5.1\0";