Fix #2 by using SCIPisEQ() in pricer

Using a strict equality can obviously result
in numerical errors.