Constant clingo_sys::clingo_weight_constraint_type_e_clingo_weight_constraint_type_equivalence
source · pub const clingo_weight_constraint_type_e_clingo_weight_constraint_type_equivalence: clingo_weight_constraint_type_e = 0;Expand description
!< the weight constraint is equivalent to the literal