In reply to jd_jagdish:
Did you check the return value from the call to randomize()? post_randomize() does not get called if the solver fails.
In reply to jd_jagdish:
Did you check the return value from the call to randomize()? post_randomize() does not get called if the solver fails.