rerun README with fixed constraints computation.