Constant clingo_sys::clingo_heuristic_type_e_clingo_heuristic_type_sign

source · 
pub const clingo_heuristic_type_e_clingo_heuristic_type_sign: clingo_heuristic_type_e = 1;
Expand description

!< configure which sign to chose for an atom