pub const clingo_heuristic_type_e_clingo_heuristic_type_init: clingo_heuristic_type_e = 3;
Expand description
!< modify the initial VSIDS score of an atom
pub const clingo_heuristic_type_e_clingo_heuristic_type_init: clingo_heuristic_type_e = 3;
!< modify the initial VSIDS score of an atom