clingo_sys
pub const clingo_statistics_type_clingo_statistics_type_map: clingo_statistics_type = 3
=
3