Constant CLINGO_VERSION 

pub const CLINGO_VERSION: &[u8; 6] = b"5.6.2\0";