clingo_sys
pub const clingo_heuristic_type_clingo_heuristic_type_level: clingo_heuristic_type = 0
=
0