pub const clingo_heuristic_type_e_clingo_heuristic_type_false: clingo_heuristic_type_e = 5;
Expand description
!< set the level of an atom and choose a negative sign
pub const clingo_heuristic_type_e_clingo_heuristic_type_false: clingo_heuristic_type_e = 5;
!< set the level of an atom and choose a negative sign