Constant clingo_sys::clingo_weight_constraint_type_e_clingo_weight_constraint_type_implication_left
source · pub const clingo_weight_constraint_type_e_clingo_weight_constraint_type_implication_left: clingo_weight_constraint_type_e = -1;
Expand description
!< the weight constraint implies the literal