Penalize Removing Non-Constraints

Penalize removing rules that are not integrity constraints. This is useful when you want to remove first constraints, in cases such as debugging.

penalize-non-constraint-removed.lp

Source

% Rule is in the referece program but not in the foil and has a head
cost(non_constraint(R), 1, 3):- edge((R,_),_), program(R, ref), not program(R, foil).

Encoding

Rule is in the referece program but not in the foil and has a head

cost(non_constraint(R), 1, 3):- edge((R,_),_), program(R, ref), not program(R, foil).