clingo_sys
pub const clingo_heuristic_type_clingo_heuristic_type_factor: clingo_heuristic_type = 2
=
2