Changed lib name from constraint to eq