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