Constant clingo_sys::CLINGO_VERSION_MAJOR

source · 
pub const CLINGO_VERSION_MAJOR: u32 = 5;