g-poveda

Many thanks for the help and happy to get an example. to update afterward the bounds after the add_predictor_constr, would you advise to use "setAttr("lb"/"ub",value)", add additional constraint or is...

Excellent. if you're interested i might fork and give a try to add some function that compute valid bounds and update the gurobi model (using interval arithmetic or this kind...

Yes thank you

@nhuet The pure python solvers in the hub : like ars, lazy_astar, lrtastar, cgp... all are launching the solving of the domain in the _solve_domain function, whereas the c++ ones...

Ok agree @fteicht , i think i raised this issue to get more consistency and actually the solve_from() probably has its advantages.