Constant clingo_sys::CLINGO_VERSION_MAJOR
[−]
[src]
pub const CLINGO_VERSION_MAJOR: c_uint=
5
pub const CLINGO_VERSION_MAJOR: c_uint=
5