Constant clingo_sys::clingo_heuristic_type_e_clingo_heuristic_type_true

pub const clingo_heuristic_type_e_clingo_heuristic_type_true: clingo_heuristic_type_e = 4;

!< set the level of an atom and choose a positive sign