clingo_sys
pub const clingo_configuration_type_clingo_configuration_type_value: clingo_configuration_type = 1
=
1