clingo_sys
pub const clingo_statistics_type_clingo_statistics_type_value: clingo_statistics_type = 1
=
1