Constant clingo_sys::clingo_heuristic_type_e_clingo_heuristic_type_factor

source · 
pub const clingo_heuristic_type_e_clingo_heuristic_type_factor: clingo_heuristic_type_e = 2;
Expand description

!< modify VSIDS factor of an atom