pub const CLINGO_VERSION_REVISION: u32 = 2;